On Thu, 19 Sep 2019, 21:25 moiraine damodred, <davie0101@gmail.com> wrote:
Good, to know, thanks a lot for your efforts! Just as a side note, a few weeks back there's a testing 64-bit kernel announced on raspbian here

Well aware of all of that, I work with and follow the RPi crew closely, it's not an upstream kernel, it's a fork of 4.19 with all the RPi foundation patches on top, a lot of which won't be upstreamed so mostly irrelevant to upstream 5.3+