sdmc_dev.c: do not redefine __system_argc/argv