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