We are using TM4C123G in our product development. We have a query, Is there any requirement of external GPIO for setting BOOTCFG register, Is it mandatory to use or it can be controlled internally. We are assuming It can be used to implement recovery modes, special boot modes, or secure booting.