vintf: clean up output.

Output summarizes <hal> tags and omits kernel
configs now. If a user still wants these output, --verbose
can be used.

Test: adb shell vintf
Change-Id: Id7716d55d9a6a159df180d476609d95035ec0c15
9 files changed