[coreboot-gerrit] New patch to review for coreboot: 431f5c2 mainboard/*/mptable.c: Don't hide pointers behind typedefs