Package: kernel Severity: wishlist Package with desktop optimized kernel (1000 Hz timer and voluntary preemption) could be available.