Kevin Mark <kevin.mark <at> verizon.net> writes: > Just to be clear: > a) booting with the old kernel fixes the problem No! > b) both the old and new kernel do not work Both kernels work. My system go ahead. But, anyone of kernels shutdown correct. Marcelo