Restored support for board=nhb12 and board=nhb12b.
[goodfet] / firmware / platforms / tilaunchpad.h
2011-07-20 travisutkTI Launchpad patch from Peter Lorenzen, edited to ease...