`-machine microvm -cpu host` crashes when guest attempts to check CPUID SGX bits