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