[coreboot] Patch merged into coreboot/master: 3b31dca Delete hard-coded driver includes