4 ms·

The same way binary blobs are allowed in the kernel, or Android can ship with proprietary bits, etc...