Use proper C structure for multiboot header