[coreboot] Patch set updated for coreboot: 08632f9 cimx sb700: change Platform.h to remove some warnings