[coreboot-gerrit] Patch set updated for coreboot: ba7a1a8 {arch, cpu, drivers, ec}: Don't hide pointers behind typedefs