d3d5e9896c
hardware perf. counter support is different, so we don't need these files. Reviewed by: freebsd-arm (no comments)