Merge "Speed up chroot process lookup in ART Buildbot tear-down script."
am: 9e113dd00d

Change-Id: I6b6d14aa5e13df9a38fc0f616d078b81d1b6f372