Like others have said, ditch the built in power supply idea and pick up a DC charger and use a converted server PSU. The following one is nice and compact. Cost less than $30 on ebay.

http://www.rchelination.com/setting-...-power-supply/

As for the charger, pickup either an FMA PL6 charger or one of the Junsi iChargers that fits your needs.