debuginfo sub-packages for the kernel