[PATCH 4.14 080/104] cpu/hotplug: detect SMT disabled by BIOS