vga_switcheroo: Use pr_*() instead of printk()