I am thinking of using this psu http://www.mini-box.com/DCDC-USB?sc=8&category=981 in conjungtion with a pandaboard. But I have still no clue how to switch ON/OFF the board with a proper shutdown...