arm: perf: add more specific platform device IDs
This page took 4.118839 seconds and 4 git commands to generate.