Re: [SeaBIOS] [PATCH 1/2] Add CPUID emulation