LiPPERT has a new board based on the intel p4 M processor that has an option for a 5V input only. it is a miniITX form factor.

That might simplify our power supply requirements / design