Fix up multiboot parameter passing