Thanks a lot for reporting this. We are aware of this but did not find the time to look into it, yet. Is there a good howto/instructions how to debug such problems using e.g. qemu for emulating arm? Or is it possible to gain access to an arm machine as a Debian Maintainer? That would help a lot. Kind regards, Markus