Kernel modules have their debuginfo stripped out (into kernel*debuginfo). They cannot be stripped more than that without breaking intermodule symbol resolution.