CPUID_BHYVE_FEAT_EXT_DEST_ID
regs[0] = CPUID_BHYVE_FEAT_EXT_DEST_ID;
if (regs[0] & CPUID_BHYVE_FEAT_EXT_DEST_ID)