So it doesn't get lost, this is a patch that fixes the build on arm64, can be dropped into debian/patches and added to debian/patches/series and should Just Work.
So it doesn't get lost, this is a patch that fixes the build on arm64, can be dropped into debian/patches and added to debian/ patches/ series and should Just Work.