Also leaving aside this post, solidrun's honeycomb boards are a mini itx form factor that is ARM SystemReady. You can run windows on arm on it, and it has UEFI if you want that, meaning no need for a BSP. Have booted several Linux distributions on it.

It's limited ports wise (has a single nvme slot, but a ton of networking) and if you want to use it for a desktop you need to replace the noisy fan that comes with it. But I can actually be done.

It's the only board I'm aware of though.