After wrestling with a fork of the Kotlin code base it now successfully builds (took around 16 min) a custom version of the K/N compiler that has unofficial support for the rp2040 target 💪. Next stage is to test if the K/N compiler can generate a static library file via the rp2040 target.