profiling: fix up CONFIG_PROC_FS=n build