[coreboot-gerrit] Patch merged into coreboot/master: d75800c intel/bayleybay: Add Intel's Bayley Bay mainboard