Use the right defconfig for OUR kernel