Increase number of choices for kernel timer frequency