Symbol: multiboot_uint32_t