[PATCH 4.17 77/97] cpu/hotplug: detect SMT disabled by BIOS