The kernel is compiled without debug symbols, so kernel-debuginfo package was useless. If one want debuginfo package, he/she need to reenable it *and* compile kernel with debug symbols (which need a lot of disk space).