Hello Debian Kernel team, Is there any plan to ship a linux kernel tailored for the desktop (e.g. HZ=1000, etc.)? Kind of: - linux-image-server-<version>-<platform>.deb - linux-image-desktop-<version>-<platform>.deb If not, is there a way to automatically recompile and install the linux image with the desired configurations (e.g. HZ=1000) when a new linux-image is available from Debian (like dkms)? Thanks a lot, Jose Lombera