Re: Enabling tickless kernel feature in ARM