Passing ebx into entry_point, multiboot header and such