Fixed includes in the kernel. XEOS can now be built again.