Makefile: Codesourcery GCC toolchain