Symbol: board_bios_data