Symbol: bios_oem_range