[coreboot-gerrit] Patch set updated for coreboot: 80f43a0 board_id: Remove extra quotes.