On 2017-09-27, at 7:10 PM, Christoph Biedl wrote: > As this is not a Debian issue, should I switch to the parisc kernel > list, or do the relevant people read here anyway? Yes, that would be good. Dave -- John David Anglin dave.anglin@bell.net