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