add latest kernel builder (builds for Debian-based distributions)