Patch for FreeBSD 32-bit kernel with PAE

Include the freebsd-pae32bit patch