This patch updates the resource manager so that it actually assigns
disabled resources when they are requested by the device.