I guess I didn't express myself very clearly. This was NOT a Kernel problem. The
update simple erased the contents of the boot directory in both cases. On the
laptop, copying the boot directory from the desktop fixed the problem. On the
desktop, it did not. Booting an older kernel was never an option, because there
was no Grub and neither Windows nor Linux would boot.