I noticed his the other day too. I did have the problem where it updated my kernel but not the source. I ended up having to download the kernel-source from the update server myself to compile my video-driver.