xf86-video-armsoc hacked to integrate with Mali-400 - View it on GitHub