[coreboot] Patch merged into coreboot/master: da1ef02 stddef.h: move to generic code