4 ms·

What about EFI? (No, that's a genuine question. I want to know if computers using EFI boot faster than those still stuck with BIOS.)