Re: [coreboot] [PATCH] x86emu: add SMSW, RDMSR, WRMSR, INVD, WBINVD