Re: [PATCH 01/13] kernel: Change timer tick to 1000Hz