You might be interested in Project TinyMiniMicro series that ServeTheHome has covered: https://www.servethehome.com/introducing-project-tinyminimic...

x86-based mini-PCs that are abundant on the used market, pack quite a punch, and generally use around 10-12W idling.

And with the current Raspberry Pi 4 pricing, they are actually a better deal.