FWIW, Seeed Studios offers a range of Intel SBCs with an embedded microcontroller that is explicitly meant to be used like an Arduino board [1].

[1] https://www.seeedstudio.com/ODYSSEY-X86-v2-board-p-5075.html