Converting loader.s to use multiboot.h