fix defconfig for proper configurations