max-user-freq

Allow user to define the upper limit of number of interrupts generated by the HPET driver. The default value is 64.