PowerVR DKMSドライバインストール

Linaroカーネルは入れたが、ディスプレイドライバが入っていないっぽいことに気が付いていれた。
apt-cacheで調査したところ、powervr-omap4-dkmsというのがoverlayにあるので、これだろうと思ってインストール。
インストール後再起動し、試してみたがよくわからない。
ちゃんと入っているんだろうか。