4 ms·

If anything it's the other way around. Proprietary developers don't want to make the kernel easy to refactor.