YEah, same applies -- the kernel plays the animation, but only when it is genuinely restarted. So if you see the animation, you know you are running the newest kernel that was downloaded.

Cheers