[Crash-utility] mod -S and debuginfo kernel rpm

Hi, The kernel debuginfo rpms (e.g. kernel-debuginfo-xxx.s390x.rpm) provide kernel modules that contain debug sections in order to access the data structures with tools like crash. The kernel modules are named "<module_name>.ko.debug". The mod -S command in crash does not recognize the ".debug" files. Is that by intention? What is the recommended way to load all the debug information? Michael