* BIG/port/devcap.c: mv here
* kernel/conf/386/pcf: less kprof