書き忘れましたけど自分でビルドしたカーネル4.9.47-rt37は他のPC(i5-2500)では
絶好調で動作してました
CPUが遅いとリアルタイムカーネルは相性が悪いんしょうね