Real-time Linux is officially part of the kernel