[coreboot-gerrit] New patch to review for coreboot: 737aebf device/*: Don't hide pointers behind typedefs