[coreboot-gerrit] New patch to review for coreboot: 54540c3 {arch, cpu, drivers}: Don't hide pointers behind typedefs