AMD Announces the Availability of 64-bit ARM Opteron Developer Kits