merge request: my STM32F042 has 6k of RAM according to table 2 of the datasheet