[coreboot] Patch merged into coreboot/master: 936fb7f inteltool: added more device IDs