@felipeunix you could try booting in 32-bit kernelspace, by merging the 32-bit and 64-bit into universal, and use 64-bit userspace,
terminal
lipo -create mach_kernel_64 mach_kernel_32 -output mach_kernel