plugins is implemented in bochsrc, these functions can be used to install additional options from the devices code. Then the whole init / parse / save code for this device can be moved from config.cc to the device plugin.