| Index: build/android/tombstones.py
 | 
| diff --git a/build/android/tombstones.py b/build/android/tombstones.py
 | 
| index fd060ad5175f4ede192ade78ab4b15696051ccbb..a78d89fa562ba86a2a7638cb921a3faff01e4c47 100755
 | 
| --- a/build/android/tombstones.py
 | 
| +++ b/build/android/tombstones.py
 | 
| @@ -173,7 +173,7 @@ def _GetTombstonesForDevice(device, options):
 | 
|    device_now = _GetDeviceDateTime(device)
 | 
|    for tombstone_file, tombstone_time in tombstones:
 | 
|      ret += [{'serial': str(device),
 | 
| -             'device_abi': device.GetProp('ro.product.cpu.abi'),
 | 
| +             'device_abi': device.product_cpu_abi,
 | 
|               'device_now': device_now,
 | 
|               'time': tombstone_time,
 | 
|               'file': tombstone_file,
 | 
| 
 |