how do i upgrade my kernel if its patched?