a0c4047d4d
This fixes builds of kernels without COMPAT_FREEBSD32. Reported by: tinderbox MFC after: 1 month
This fixes builds of kernels without COMPAT_FREEBSD32. Reported by: tinderbox MFC after: 1 month