This is a good place to have a look. I usually check for updates, and then install the ones I think I'll need.
I know that there's stuff there in respect of installing a different kernel - I've tried it (unsucessfully), and now am just waiting for version 10 to come out instead.
regards
John