Repaired defconfig