sgiioc4: use driver name for resource allocation