There is a WireGuard kernel module, and it also seems weird to me to say "This is a mess" when what you actually mean is "Nobody yet knows if it is a mess or not and I have no evidence either way."

I'm not sure where you're getting your information; the /de facto/ primary WireGuard implementation is a Linux kernel module.

So, you don't have any evidence that Wireguard is "a mess" (the claim that you are supporting).