MIPS: Make the debugging of compressed kernel configurable