[PATCH 4.20 342/352] cpu/hotplug: Fix "SMT disabled by BIOS" detection for KVM