[coreboot-gerrit] New patch to review for coreboot: UNTESTED: drivers/intel/fsp1_1: Take platform ID as a string, not integers