[PATCH 4.19 303/313] cpu/hotplug: Fix "SMT disabled by BIOS" detection for KVM