Updates missing

[Federico Alves]

Dear fellow scientists
Red Hat just came with an important kernel upgrade. It would be nice if we
could get it in our distribution.
Federico