kernel config: enable timer slack