[PATCH 4.14 195/205] cpu/hotplug: Fix "SMT disabled by BIOS" detection for KVM