Correct MCU name for the linker script (TM4C1233H6PM)