No – Debian Jessie is buggy on aarch64 and doesn’t have several fixes for CPU errata. We discovered this in February 2017. We would also have problems with Netflix and Amazon Prime Video (support will come soon) if we moved to aarch64. There seems to be no performance gain from aarch64.
Yes – we are well aware that the issue is caused by 64-bit -> 32-bit pointer dereferencing and we have already fixed a couple of these issues in the kernel, but we are not quite there yet it seems.
The solution however is not to use an aarch64 version of TVHeadend.