[PATCH 3/7] vga_switcheroo: Use pr_*() instead of printk()