freebsd32: fix type size of pointer array args

Make pointers to arrays of pointers uint32_t * so the sizes of the
array elements are correct. In an ideal world we'd use something
like __ptr32 annotations instead.

Reviewed by: kevans