On Mon, Apr 01, 2019 at 08:11:51AM +0000, Erwan Velu wrote: > I'd suggest something like this and keep the 'CPUID not supported' part > untouched. > > if (no_load) || (boot_cpu_data.x86_vendor != X86_VENDOR_INTEL)
Yeah, that's the usual thing we do in such cases and the better idea,
I'll do that in v2.
Thx.
--
Regards/Gruss,
Boris.
Good mailing practices for 400: avoid top-posting and trim the reply.

