Debian u.a.erlauben dir jederzeit den Kernel zu wechseln. Du kannst "fertige" Kernel-images aus dem Netz ziehen, oder die Sourcen selbst compilieren ( was ich als relativ einfach empfand - nachdem ich alle nötigen Pakete zusammen hatte. )