mini2440: switch toolchain to version 4.3.2

commit

0c9fea7f578952d1db5ab02e540efab1fa434b01

switches to new toolchain, but this one brings me too much trouble, will
find out what's the differences between these toolchains.

Signed-off-by: Fudong Bai <fudongbai@gmail.com>
mini2440: change TEXT_BASE to 0x33F80000

Signed-off-by: Fudong Bai <fudongbai@gmail.com>
mini2440: update openocd.cfg

Signed-off-by: Fudong Bai <fudongbai@gmail.com>
mini2440: first bootable version

Signed-off-by: Fudong Bai <fudongbai@gmail.com>