PAX ASLR: Fix kernel compilation with COMPAT_FREEBSD32