Fix multiboot.h