Added the HARDENEDBSD-NODEBUG kernel to the ports to provide a
kernel package that can be used as a rescue or for performance testing[1].
This port is based on os/kernel* ports of kmoore (Kris Moore), thanks to him.
[1] https://klarasystems.com/articles/evaluating-freebsd-current-for-production-use/
Signed-off-by: Loic <loic.f@hardenedbsd.org>