LinuxKPI: Add some header pollution and dummy headers

required by recent drm-kmod to be succesfully compiled.

Sponsored by: Serenity Cyber Security, LLC
Reviewed by: manu, bz
Obtained from: OpenBSD

LinuxKPI: Add some header pollution and dummy headers

required by recent drm-kmod to be succesfully compiled.

Sponsored by: Serenity Cyber Security, LLC
Reviewed by: manu, bz
Obtained from: OpenBSD (partially)
MFC after: 1 week
Differential Revision: https://reviews.freebsd.org/D42798

show more ...