Najnowszy stabilny linuksowy kernel został zaktualizowany do wersji 4.13.8 i jest dostępny w repozytorium oprogramowania PCLinuxOS. Aktualny changelog można znaleźć tutaj.