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