This patch set implements the configurable enum_devices() interface to the Device
provider. This slight interface change is adopted to the associations SystemDevice and
ElementAllocatedFromPool. Both associations profit from the easy access to the device
instances.