Added 64-bit device definitions