Increase number of default kernel timer frequencies