The smallest pert in the family has 10k RAM, so use that as a default
for the working area.
Change-Id: I78be0d14a254c109ac15a7163552c6132f810416
Signed-off-by: Spencer Oliver <spen@spen-soft.co.uk>
Reviewed-on: http://openocd.zylin.com/1005
Tested-by: jenkins
Reviewed-by: Andreas Fritiofson <andreas.fritiofson@gmail.com>
 }
 
 # Work-area is a space in RAM used for flash programming
-# By default use 14kB
+# By default use 10kB
 if { [info exists WORKAREASIZE] } {
    set _WORKAREASIZE $WORKAREASIZE
 } else {
-   set _WORKAREASIZE 0x3800
+   set _WORKAREASIZE 0x2800
 }
 
 # JTAG speed should be <= F_CPU/6.
 
 }
 
 if { [info exists WORKAREASIZE] == 0 } {
-   set WORKAREASIZE 0x3800
+   set WORKAREASIZE 0x2800
 }
 
 source [find target/stm32_stlink.cfg]