LinuxKPI fix for 13.3

From: Greg Balfour <greg.bal4_at_gmail.com>
Date: Tue, 09 Jan 2024 17:29:35 UTC
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.