Moving the kernel to modern C [LWN.net]