[coreboot-gerrit] Patch set updated for coreboot: 52f0b2b include/types.h: Provide linux-specific errno.h error codes