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