Ubuntu for the GK802 mini PC: Now with hardware-accelerated graphics