am 43a725cd: Merge "ART: Cut filename for DumpCFG"

* commit '43a725cde37740f0384f3f73227c54249ba4fe4f':
  ART: Cut filename for DumpCFG