upgrading kernel via synaptic