K 10
svn:author
V 6
grehan
K 8
svn:date
V 27
2013-09-06T05:16:10.954790Z
K 7
svn:log
V 194
Allow CPUID leaf 0xD to be read as zeroes.
Linux reads this even though extended features
aren't exposed.

Support for 0xD will be expanded once AVX[2]
is exposed to the guest in upcoming work.

END