Hello, I don't have any experience porting, nor access to armhf hardware, so it's going to be difficult for me to fix [1].
Before I either set this bug to wishlist or start guessing at solutions, I'm requesting a person who knows what they're doing take a quick look at this. Maybe there's some kind of armhf team somewhere? It did not surface with my first attempt at a web search. Best, Antonio [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1141957
