These most recent edge updates for K1 based boards are really great!
With all this mainline additions of kernel 7.2 it's finally becoming a trustworthy clean alternative to outdated vendor images. At least for headless micro server usage everything is now already provided by mainline code (e.g. temperature and CPU frequency control are indispensable for serious work on this board!)
Only WiFi and BT still don't work out of the box.
I personally would prefer utilizing mainline brcmfmac drivers instead of fighting with all those unmaintainable bmcdhd patches. That's working for other boards with AP6256 modules as well.