I've tried the
key>Kernel</key>
<string>mach_kernel</string>
<key>Kernel Flags</key>
<string>arch=x86_64</string>

and its doesn't work along with r 4+6 option, any takers on what to do.