[PATCH kernel-4.19 50/66] RDMA/mlx4: Do not map the core_clock page to user space unless enabled