* kernel/devices/storage/386/floppy.h: mv to devfloppy.c
* kernel/devices/screen/user/386/: mv a few user/ to user/386
* kernel/: comments
* kernel/core/portfns_core.h: new