inteltool: added more device IDs
[coreboot.git] / util / mkelfImage / arch /
drwxr-xr-x   ..
drwxr-xr-x - i386
drwxr-xr-x - ia64