+810	001995aa  0fa2					cpuid
  +812	001995ac  81e200001000			andl		$0x00100000,%edx
  +818	001995b2  83fa00				cmpl		$0x00,%edx
  +821	001995b5  740e					je			0x001995c5
  +823	001995b7  b9800000c0			movl		$0xc0000080,%ecx
  +828	001995bc  0f32					rdmsr
  +830	001995be  0d00080000			orl 		$0x00000800,%eax
  +835	001995c3  0f30					wrmsr