[coreboot] Re: ONIE EEPROM format