loader to load the kernel from disk
