due to the fact that the kernel was not upgraded for weeks, just use the kernel rpm with debug info from Cengen, it should work.
due to the fact that the kernel was not upgraded for weeks, just use the kernel rpm with debug info from Cengen, it should work.