"The BIOS code is firmware, and may be stored in such devices as EEPROM or flash memory." . . . . .