fix reference to defconfig