added ARM11-binary, works on Raspberry pi