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

I was not aware of those, thanks. Certainly up for consideration but I can't imagine that price point being attractive to the decision-makers in my company.