Linux kernel timer frequency boosted to 1,000 Hz, test suite compares performance to current default 250 Hz timer.