[coreboot] Patch merged into coreboot/master: 08632f9 cimx sb700: change Platform.h to remove some warnings