Hi, I just upgraded my debian wheezy linux-image from 3.2.54 to 3.2.57 using apt-get update/upgrade and was wondering if I need to reboot my system or not in order for Linux to use the new kernel? Cheers