[coreboot-gerrit] Patch set updated for coreboot: 1d09dd8 mainboard/*/mainboard.c: Don't hide pointer behind typedef