>>474
options COMPAT_LINUX
options LINPROCFS
は、FreeBSDカーネルにLinux ABI互換機能およびLinux procfs互換機能を
_静的に_組み込むためのもの。

実際には、それぞれ
/boot/kernel/linux.ko
/boot/kernel/linprocfs.ko
というカーネルモジュールがあって、必要なときに_動的に_読み込まれるので
COMPAT_LINUX付きのカーネルをわざわざ作成する必要はない。

ちなみに emulators/linux_base はユーザランドで使用する共有ライブラリ等の
パッケージだから、どちらにせよ必要になる。