Fix derp from previous change to defconfig