> Just reboot the machine with an older kernel?

Yes