Add a checkbox to the "Advanced" tab in the web GUI
to enable booting with a debug kernel.

Modify ix-loader to query the SQLite database for the debugkernel setting.
If the setting exists, then add to /boot/loader.conf.local
some entries for booting with the debug kernel, and modifying the
module_path to get kernel modules from the debug kernel directory.