CentOSの素カーネルとCentOS Plus

SystemTapを掛けようとするとエラーになるので、なんでだろうと思ったら、

• CentOSの素のカーネル（RHELとほぼ同じなのでしょう）
• CentOS Plusカーネル（CentOSでパッチを当てたりしているようです）

という二種類があって、後者が適用されているのに、前者用のdebuginfoがインストールされていたというオチでした。