kernel: Add a port of the Linux 4.8 vga_switcheroo module