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