64-bit ARM processor set to shake up the server industry