im assuming they have packaged up firmware/kernel changes – there is a kernel/firmare update from a few days ago. apt-get update/dist-upgrade should be enough.