linux-udoo: this kernel is too old for 'olddefconfig'