gator-driver: Revert #error about lack of CONFIG_PERF_EVENTS