Linux Treiber

Also Linux, nicht Android, das wäre noch was tolles. Zumindest für
die Mali 400 Systeme ist das immer noch ein Problem. Ich glaube kaum,
dass die Mali 600 da jetzt schon besser unterstützt werden.