LinuxKPI fix for 13.3

[Greg Balfour]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=271333

Can this be merged to 13 for the upcoming 13.3 release?  I manually
applied it to my 13.2 system a few weeks ago and haven't seen a
crash since.  Was seeing the occasional crash without it.