[coreboot] New patch to review: 4f27a0a inteltool: added more device IDs