As a result of importing 32-bit compatibility support for non-x86 64-bit platforms, the kernel options COMPAT_IA32 has been renamed COMPAT_FREEBSD32 in revision 205014, so all kernel configurations including this option must be modified accordingly. -Nathan