LinuxKPI: Implement sequence counters and sequential locks

as a thin wrapper around native version found in sys/seqc.h.
This replaces out-of-base GPLv2-licensed code used by drm-kmod.

Reviewed by: hselasky
Differential revision: https://reviews.freebsd.org/D31006