Fixing an issue that occurred When building with the Sourcery CodeBench Lite MIPS Toolchain for Linux (CONFIG_MIPS32_TOOLCHAIN_SOURCERY_CODEBENCH_LITE).