* BIG/port/fpi.c: mv
* kernel/lib/lib.h: mark unused stuff
* kernel/core/portfns.h: misc