Udostępniam kernele w wersji v30.5 Premium, a zatem i7, i7-pro, brazos i brazos-pro. Te wersje podobnie jak wcześniejsze, także mają wdrożony "zegar" HZ=500. Tu mamy w źródłach - podobnie, jak w przypadku wersji 30.3, bardzo wiele zmian i poprawek - o czym możemy się przekonać studiując git.kernel.org.
Pozdrawiam