[PATCH 1/3] vgaswitcheroo: add vga_switcheroo_fini_domain_pm_ops