after spending some time, I managed to build postmarketos with Danct12 kernel. I was even able to get wifi working.
however many things doesn't work - like keyboard, bt and so on.
there's a driver for gpio extender in mainline I stole dts scheme for keyboard from pro1 mainline branch - the keyboard still doesn't work unfortunately.
anyway, I can share my files so you can play with it 🙂