[coreboot] Patch set updated for coreboot: 3b31dca Delete hard-coded driver includes