I have just started learning bare metal embedded development using CMSIS Core framework. I do not understand why the user LED is not turning on by setting the ODR[13] to 1 b