EFI only spins up a single core/thread. Starting up the other cores/threads is different than it is now.