bootldr/load_kernel
