[coreboot] New patch to review for coreboot: 7a0cac1 Fix size_t for certain versions of GCC