AMD64可以直接吃32bit的binary
kernel config 裡面有選項可以開，在/usr/src/sys/amd64/conf/GENERIC是開的