Merge "Speed up chroot process lookup in ART Buildbot tear-down script." am: 9e113dd0 am: 2c98debb am: 12474bee Change-Id: I5f3b6db1a61dd9c38061bc64fd55383db12eb90e