The nexus module was missing method for releasing bus resources. As a
result, it couldn't be released and the bus_release_resource() call was
Next call to bus_alloc_resource() for the same resource was returning
error, because it wasn't released previously and it was still busy.
The implementation of the nexus_release_resource() is the same as for