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