Unsupported FreeBSD features

Certain FreeBSD features are currently unavailable in CheriBSD, including:

• DTrace

Many other kernel features are not yet well validated, including:

• Most optional modules, such as various firewall systems

Reporting bugs

Bug reports relating to these under-validated subsystems would be appreciated, and may be submitted to the CheriBSD GitHub issue tracker.