Do you know which kernel it would be running?
Special asus kernel or a default armv7h/aarch64 kernel?
From what I can find it’s using
If I do create some images, would you be willing to test them?
I might look into this, as it would only need a kernel, another uboot and the xorg drivers.