add missing multiboot header