rpms / kernel-osuosl