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