K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2014-10-16T19:27:26.804164Z
K 7
svn:log
V 226
Emulate the "Hardware Configuration" MSR when running on an AMD host.

This gets rid of the "TSC doesn't count with P0 frequency!" message when
booting a Linux guest.

Tested on an "AMD Opteron 6320" courtesy of Ben Perrault.

END