3 ms·

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