kernel: Remove dead scheduler options