Symbol: get_bios_ebda