Workaround for driver bug observed on the Raspberry Pi, see code comment for details.
Attach a file by drag & drop or click to upload
