Thanks Aaron for your clarification
Do you know by any chance if Asus U30JC has hardware mux ? (meaning asking the right people at Asus might give results, ie. a bios with such option)
However it seems you believe it should be possible to use CUDA _anyways_, but how is it possible if the nvidia driver doesn't load at all? (video bios cannot be loaded error as seen in the logs in my previous thread)