[coreboot] OT: how to burn commercial BIOS image into new chip?