[coreboot-gerrit] Patch merged into coreboot/master: 6e22225 remove vx900_int16 doxygen module/group