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

src/stlink-common.h

@@ -385,7 +385,7 @@ extern "C" {
             .description = "F04x device",
             .flash_size_reg = 0x1ffff7cc,	// "Flash size data register" (pg735)
             .flash_pagesize = 0x400,		// Page sizes listed in Table 4
-            .sram_size = 0x1000,		// "SRAM" byte size in hex from Table 2
+            .sram_size = 0x1800,		// "SRAM" byte size in hex from Table 2
             .bootrom_base = 0x1fffec00,		// "System memory" starting address from Table 2
             .bootrom_size = 0xC00 		// "System memory" byte size in hex from Table 2
         },