mboot.c: prefer ELF header over multiboot header