[coreboot-gerrit] New patch to review for coreboot: e11f15d armv7: change some unsigned ints to uint32_t