Don't build & install it by default, since it represents the state of the rump virtual kernel and not the host kernel. However, it's useful for debugging kernfs.