Trying to make the kernel boot