core/combo/TARGET_linux-arm.mk: use GCC 4.7 for now