[coreboot] Patch merged into coreboot/master: 30c3900 haswell: notes and updates.