board: add TM4C123G LaunchPad config