[coreboot] New patch to review for coreboot: 00eaf4d cimx sb700: change Platform.h to remove some warnings