Fix LINT kernel builds after 1a714ff20419 .
Discussed with: rrs@
Differential Revision: https://reviews.freebsd.org/D28357
Sponsored by: Mellanox Technologies // NVIDIA Networking
(cherry picked from commit db46c0d0cb3da2813727e56df1f2db292065867a)