[coreboot] Patch merged into coreboot/master: 80e3516 Hudson: Legacy free question is hudson only