Fix derp in defconfig