[coreboot] How to read/write the spi flash on SeaBIOS?