Just to make sure, it is actually a kernel issue, I booted kernel 4.20.13-1-default. With this kernel I see no errors.