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