Jak pisałem udostępniam kernele w wersji v30.3 Premium, a zatem i7, i7-pro, brazos i brazos-pro. Te wersje także mają wdrożony "zegar" HZ=500. Tu mamy w źródłach bardzo wiele zmian i poprawek - o czym możemy się przekonać studiując git.kernel.org.
Pozdrawiam