olddefconfig when building the kernel