Sorry to piss in your cornflakes, but the video driver you speak of is exact same situation as on N8x0 and N900 - kernel driver is open source (two parts: PowerVR and display driver) and closed source libraries where all the real fun happen. It's Imagination technologies / SGX all over again.