I know this is an old thread but did anyone confirm a resolution? I am experiencing the same issue and the patch doesn't work for me.
https://e2e.ti.com/support/microcontrollers/tiva_arm/f/908/t/399372#pi239031350=4
Any update would be greatly appreciated.
Cheers,
Tyler.

