Simple kernel loader which boots from a FAT filesystem