reduce the number of ticks to determine the cpu frequency
reduce the number of ticks to determine the cpu frequency

=> faster bootup time

stlankes/HermitCore,stlankes/HermitCore,stlankes/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore,stlankes/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore,stlankes/HermitCore,stlankes/HermitCore,RWTH-OS/HermitCore