Is there a reason it has to be x86 ? My Raspberry Pi 4 runs of a USB-C power supply rated for 15.3 W. It probably can run with less if wlan and bluetooth are inactive.

Holger