343.* ARM driver, does it work with the GK20A in Tegra124?

As the title says, does the ARM-Version of the driver work with the GK20A in the Tegra124 (32 bit K1) chip?
If yes, does the kernel need support for anything special ?
(the driver in the l4t-19.3 package is very crash-prone and I have no idea when or even if that driver gets updated at all)

Thanks!

No, Tegra GPUs are not currently supported in the ARM builds available in .run form. You’ll need to use the L4T builds for now. Those builds are intended for running traditional PCI GPUs on ARM platforms.