LetuxOS: Kernel updates