There was the Intel Edison [1] back in 2014-2017, it turned out to not be a great success. The initial version was based on a dual-core Intel Quark x86 clocked at 400 MHz [2].
As an electronics/(retro)computing hobbyist the biggest problem to me about Quark is that it starts in real mode and to do any bare metal stuff you would have to jump through the 10 thousand hoops to just run some code.
It's a lot more work to use that than any Arm or AVR micro