xf86-video-armsoc hacked to integrate with Mali-400 R3P2