increase number of choices for kernel timer frequency