3 ms·

Did they include Linux kernel or other 3rd party code in those 72 million lines? If yes then that is one buggy kernel.