add configuration and assignment of non-fungible user-defined resources #4141
User defined resources like MACHINE_RESOURCE_GPU now accept an enumerated
list of IDs OR a count of available resources, when a count is used, then
the resource is considered fungible, but when a list of ids is used, the
number of ids is the count, and specific ids are assigned to slots when the
resource is used.  With this patch MACHINE_RESOURCE_INVENTORY_GPU does not
yet support enumerated ids.  This patch also corrects case-sensitivity problems
with the implementation of user-defined resources.
===VersionHistory:Pending===