4 ms·

I don't think it's bad that Google, and you and I, have an easier time of switching to and from Linux kernels.