Write kernel image file and FAT entries when formatting disk