Soft boot Jetson TK1

I want to use my Jetson TK1 as an appliance but I can’t seem to figure out how to soft boot the device without pressing the switch on the board. I have looked at the header pinout and can’t see a mechanism to accomplish this. When the board has power applied and board is shut down, to get the board to boot requires me to press the soft power switch. Is there another mechanism?

I’m not where I can see docs right now, but if you go here there should be a document about the TK1 layout (maybe it is the developer board design files):

There is a header which is standard for most motherboards and has drive activity, power button, reset, so on (0.1" header spacing very close to the 9-pin D-sub connector)