This could all be fixed, I'm sure, but I don't know if upstream would be interested and at this stage I wonder if removing the package on armhf is more pragmatic. It has a few rdeps but not all that many. Thoughts?