[coreboot] New patch to review for coreboot: 5768f68 Delete hard-coded driver includes