original_kernel/arch/mips/configs/generic/32r1.config