[Savannah-hackers-public] Savannah VMs rebooting for kernel upgrades

[Bob Proulx]

Routine security upgrades include kernel upgrades.  Installing today
and rebooting all of the VMs for the new kernel.

Bob