point to proper defconfig