[coreboot-gerrit] New patch to review for coreboot: bf5c63b it8728f: move prototypes to it8728f.h