Merge "Remove DERInteger usages" am: 1835a24839

Original change: https://android-review.googlesource.com/c/platform/frameworks/base/+/1305793

Change-Id: Iffdbd3a224b0dd83671023c79601dd9e64c95331