vgaswitcheroo: add vga_switcheroo_fini_domain_pm_ops