[coreboot-gerrit] Patch merged into coreboot/master: 8e688b3 vx800: Silence clang warnings.