Hello Jean-Francois, is it possible that you send us a sample of keys generated plus the onion address that failed to verify?
Due to our lack of an armv5tel machine, this would be our most effective approach to eventually debug this problem. Thanks a lot!