* sys/src/9/port/devkprof.c: delete