use the right defconfig