[coreboot-gerrit] Patch set updated for coreboot: b2a38a2 soc: Don't hide pointers behind typedefs