Disabled tickless kernel on Serenity