Merge "Support system server ART-profiling" into pi-dev