config: smdk6410: gcc 4.7

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