Package: linux-source-4.19 Version: 4.19.235-1
Debian 10 was updated to 10.12 on March 26. The kernel version was updated to 4.19.235-1.
Compilation now works without error.I tried to find any diffs between kernel 4.19.232-1 and 4.19.235-1 in the include path in my original bug report, but couldn't find any relevant differences.
Bug report can be closed; but the cause itself is still unclear to me.
