[opensuse-kernel] RealTime kernel