core/gcc: remove armhf-triplet patch

rendered obsolete as of gcc-4.7.3