add separate labels since jenkins doesn't track ORd labels correctly

Once enough of the new machines have this fix, then the job's labels can be updated.