Added (preliminary) support for TI TM4C123 Launchpad

This allows the BMP firmware to be used as a direct replacement for the ICDI debugger on the TI Tiva C Launchpad eval board.