[coreboot-gerrit] New patch to review for coreboot: 3c12905 mainboard/*/mainboard.c: Don't hide pointer behind typedef