[PATCH 4.18 60/79] cpu/hotplug: detect SMT disabled by BIOS