Automatic driver reloading

A small step for a developer, a giant leap for JNode....

Drivers are now automatically unloaded (and their devices stopped) when the plugin that contained the driver is removed/replaced.

This means that reloading of drivers can now be done without a reboot!

For example "plugin reload org.jnode.driver.video.nvidia" will cause the NVidia driver to stop, the plugin to be reloaded and restart the device.

See also Dynamic plugin reloading.
Ewout