x86_64: support HyperThreading and SMP with up to 8 CPUs