Sorry! Can't do this anymore: The underlying issue was indeed a hardware problem (broken pin); however,
linux should have handled this more gracefully (and older kernels, maybe by accident, did). Anyways, the
broken cable has long been replaced, so I could not reproduce the bug anymore. Aside from this, this
is a production server ...
Sorry! Can't do this anymore: The underlying issue was indeed a hardware problem (broken pin); however,
linux should have handled this more gracefully (and older kernels, maybe by accident, did). Anyways, the
broken cable has long been replaced, so I could not reproduce the bug anymore. Aside from this, this
is a production server ...
Again, sorry!
Stefan