No, but http://www.linuxdevices.com have quite a few links to hardware suppliers. Worth a try.

A P4 unit may (a) run very hot and (b) take lots of power though. Most of the credit-card PC units aren't faster than about 233MHz because of power & heat concerns.

Hugo