Remove redundant checks.

MFC after: 2 weeks
mdoc: silence a few mandoc lint warnings.
During buildkernel, print a banner before building modules.