NVIDIA's stance on Linux aside, from a practical point of view the one thing I've had the most issues with in practice while using them together was the abomination that is Optimus. Considering they mention a mux for outputting directly to the display, it sounds like this might be a bit less of a pain to get working since it sounds like you should be able to just have one GPU active at a time (instead of both of them having to work together).