[coreboot-gerrit] Patch set updated for coreboot: 56afe9f ec: Don't hide pointers behind typedefs