Fix firmware update for TivaC/Stellaris