[coreboot-gerrit] Patch merged into coreboot/master: 2fc0a1d cimx/sb800: fix pedantic gcc error