Fix defconfig name