Extra RAM for STM32F42xx.