8 ms·

Quite apart from that, an EFI shell that's less awful than the standard UEFI one is an interesting project in its own right...