[coreboot] New patch to review for coreboot: 6b31eaa stddef.h: move to generic code