A reddit user has created a tool for switching the gpus, works for dx11 64-bit and 32-bit is more experimental,