Yeah, or if you don't mind something with performance this low, the RK3588 has much better kernel support (I have a couple here) and there's some companies offering laptop format for those now.

But as much as I love the RK3588 it's very much in the "low perf utility SBC" world than "good performing general PC". I use my two boards for NAS, Plex, Forgejo CI builders, etc.

I do recall that Jeff Geerling I think had some followup with that board that perhaps there could be firmware changes that improve the power efficiency later maybe?

I have an MNT Pocket Reform with an RK3588 and I do like the device, but yeah, it can be a little sluggish at times.

It is very usable for email, editing documents, code review, etc - but it will struggle if you're trying to multitask heavily.

This CIX SoC is a fair bit faster than the RK3588 though I believe.