My dev board just showed up, thanks so much to Jesse. When I saw it had a 12V power supply instead of 5v like the other boards, my concern is that this would be an issue on the robot.
Under heavy motor load, even a fully charged battery can dip to 11v, which causes a problem for onboard systems that require a steady 12v. Looks like this won't be an issue:
http://developer.download.nvidia.com...14May01_V2.pdf
The range seems to be 9.5v to 16v (13.2v if you're using a SATA drive that uses the 12v rail, though I think that's only spinning drives that regularly use that, which on the robot will already have more issues)