Correct port template and debug monitor for STM32F4xx.