ARC: [SMP] ASID allocation