The Linux kernel, real-time or not, is simply too large and too complex to realistically certify for anything safety critical.