Merge branch 'x86/cpu' from tip

This commit is contained in:
Rafael J. Wysocki 2016-07-25 13:45:39 +02:00
commit 9fedbb3b6b
11 changed files with 103 additions and 97 deletions