Fix board.txt for TM4C123 LaunchPad