[coreboot-gerrit] Patch set updated for coreboot: UNTESTED: drivers/intel/fsp1_1: Take platform ID as a string, not integers