https://bugzilla.kernel.org/show_bug.cgi?id=84431
--- Comment #6 from Pali Rohár pali.rohar@gmail.com --- I tested 1/3 and 2/3 on 3.13 kernel. And as expected (because patches doing same thing) same result as with my patch - no kernel crash anymore. You can add my Signed-off.
I do not have nvidia optimus card, so I cannot test last patch.
Anyway in vga_switcheroo.c is exported function vga_switcheroo_init_domain_pm_optimus_hdmi_audio() which changing dev->pm_domain too. But I do not see any driver which using it.