K 10
svn:author
V 6
grehan
K 8
svn:date
V 27
2013-09-27T14:55:59.343477Z
K 7
svn:log
V 126
Return 0 for a rdmsr of MSR_IA32_PLATFORM_ID. This
is enough to get Ubuntu 12.0.4/13.0.4 to boot.

Approved by:	re@ (blanket)

END