This issue was fixed by upgrading to kernel 4.20.7, although I could not spot a related commit in the changelog.