[Bug 531537] Linux-nshh kernel: device descriptor read/64. ettot -71