Document the calls to send messages to userland via devctl. devctl_notify will create a message for the specified system, subsystem and type, optionally adding additional information. Reviewed by: bcr Differential Revision: https://reviews.freebsd.org/D26520