#format: hex board ID, firmware file, inibin file - use a space for separation

0x04 prrFwV1_fw.signed.bin prrIniEdge48.inibin
0x05 prrFwV1_fw.signed.bin prrIniEdge24.inibin
0x09 prrFwV1_fw.signed.bin prrIniHpe7k.inibin
0x0b prrFwV1_fw.signed.bin prrIniSmcBlade.inibin
