Fix some declarations.
Use a better name.
Corresponding Stellaris/Tiva MPU setup code.