find correct debuginfo for realtime kernels

related to RHBZ#986391