[PATCH kernel-4.19 11/12] cputime: fix undefined reference to get_idle_time when CONFIG_PROC_FS disabled