[coreboot] How can we get MRC.bin for Intel platform.