And are there even any updates on the kernels, I'm not even sure if there is...

if there isn't I'd suppose I can just apt-get upgrade everything...