Add list of 64-bit devices