Fix a few more things… this gets us to the nsh prompt on the STM32F4discovery board.