Search the kernel in FAT32
Load the kernel
Load the kernel