After this has been brought up many times before, rename src/arch/i386 to
[coreboot.git] / src / mainboard / nokia /
drwxr-xr-x   ..
-rw-r--r-- 995 Kconfig
drwxr-xr-x - ip530