4 ms·

Ooh, thanks! I hadn't ever heard of that, and was for some reason assuming "Hurd" kernel. I'll give it a try.