vkernel + dirfs is like uml + hostfs or kvm + 9p. I use them in vido (a userland kernel launcher).
A 9p driver the freebsd kernel could boot from would be more interesting portability wise.