Added code so gdbserver can fully support the STM32F4 variable page sizes