4 ms·

Yeah, when reading the part about slow boot times, I was thinking about back when we still had to boot from floppy...