Use proper defconfig to match used kernel