add #ifdef SDRAM_BASE test for flush_l2_cache (for GenSoC without SDRAM)
make.py: add --toolchain commnand line argument