[coreboot-gerrit] Patch set updated for coreboot: 5daa44e winent-mb6047: initial board port