Any P4 based system will have quite heavy power requirements. A stable ATX 12V rail will also be important as the CPU regulation circuit is running off that.
You can look up a CPU's max power usage here:
http://users.erols.com/chare/elec.htm
Those regulators look quite nice.., but it does say that they're boost converters. Afaik, if you connect up a boost controller with 13.8V in and select 13.8V out, it won't run in boost mode and it'll act like a big diode: there'll be some voltage drop on the output.
That's something that you'll need to ask about or test for yourself..