[coreboot] Patch set updated for coreboot: 936fb7f inteltool: added more device IDs