Hi,
It looks crude, but of all suggestions, this one worked and I am able to boot my new kernel.It might not be the correct way, but what I've normally done in /usr/src/sys/modules is something like: make all install DESTDIR=/ USETOOLS=no MKDTRACE=no MKZFS=no
Sadly, still no working linux emulation... I hoped so. Riccardo