Add some includes from the kernel