ufsd: We don't need this debug tool, and it's not available for mips anyway