Hi! So, I tried this overlay, and the device still did not detect USB. Although when I tried switching the dts file to the topwise a721, the HDMI stopped working but USB devices were correctly detected. On top of that, no the display still does not work even with the topwise device tree. I checked the RAM clock speed with the command you mentioned and it said 432000000, which is much higher than what I found from the boot file from original Android (384000000). Is there a way I can rebuild just u-boot and install it in this working image?

Share the image of your assembly, preferably server-side.

I think I solved it! In the upgraded system there was no package pahole! After I installed the pahole and reinstalled the package linux-headers-6.12.33-current-x86, I got the BTF stuff as described above in the .config file and I can compile modules! Pfff, finally! I checked the Raspberry Pi 4 version, I see no pahole package installed there, and I can compile modules and zfs. I don't see any BTF stuff in the .config there also. So, I don't know what is really going on here, I should install pahole on arm64 systems as well? And should pahole not be included when you upgrade your system to 25.5.1 ?

Thanks a lot for your help, Igor. That did not make the trick, as the available packages are still in the old form (docker.io instead of docker-ce for example. Nonetheless, I now have a working (but old) docker binary, which is enough for my use case. Now, I will try to build a more recent docker binary. The next problem to solve will be to get the NVMe to work. I'm sorry your F3 died.

accordingly H618 do not have mic in hardware https://www.cnx-software.com/2023/07/03/orange-pi-zero-3-allwinner-h618-sbc-ships-with-up-to-4gb-ram/ hence, an option is to use a usb soundcard / dongle https://www.aliexpress.com/w/wholesale-usb-sound-card.html there are also those 'arduinoish' approaches e.g. to use a ADC module board e.g. https://www.ti.com/lit/ds/symlink/ads1110.pdf https://www.aliexpress.com/w/wholesale-ads1110.html https://www.instructables.com/Arduino-and-the-TI-ADS1110-16-bit-ADC/ but that you would need to hack the pin interfaces to use i2c etc. note it seemed ads1110 is a bit too slow for sound. alternatives are like stm32, which has built-in adc that can go to like 1-2.5 Msps, but you would need to hack the spi interface etc. the 'easiest / cheapest' way seemed to be generic 'usb sound cards'