[coreboot-gerrit] New patch to review for coreboot: 746e32b agesa/GnbPage.h: Remove HTML documentation disguised as a header