Changes
== Blacklist opensource psb_gfx drivers ==
* Edit /etc/default/grub, add "psb_gfx.dummy=1vmalloc=192M" to GRUB_CMDLINE_LINUX_DEFAULT, it should look like this: GRUB_CMDLINE_LINUX_DEFAULT="quiet splash psb_gfx.dummy=1vmalloc=192M"
* And then run
$ sudo update-grub2