These are used in a few places. Pass them to the generated .c and .h files to allow us to build the parts of the interface the kernel config supports. Reviewed by: imp, jhb Sponsored by: The FreeBSD Foundation Differential Revision: https://reviews.freebsd.org/D36882