Show API level in device name for AVDs