[PATCH 4/8] vga_switcheroo: Use pr_*() instead of printk()