8 ms·

The kernel is relatively easy to compile and install, so I would think that's exactly what they did.