What processor does avaya use is it 64 bit