Symbol: BIOS_WRITE_ENABLE