Add the variable $OFFLOAD_DEVICES for mic jobs. It is populated with the indices of the mic devices that should be used. Also, stop reporting an error message by accident.