Define LIBGCC only for the ARM platforms

Only the ARM port depends on libgcc.