Fix bugs with kernel.bin not being added to the iso and the multiboot headers appearing too late in the binary.