This file is one of a handful that can be included at the top of a
Makefile (via src.opts.mk). Therefore, all the targets it defines
must be marked .NOTMAIN so they don't accidentally become the default
target of the Makefile.
Fixes: cf5f0744cd1d