Symbol: multiboot_uint16_t