Packaging Arduino as armhf architecture