Kernel config update and timer performance tweak