I just upgraded to Debian stock kernel linux-image-2.6.26-1-s390, version 2.6.26-5, but the problem remains. --