[PATCH 4.19 51/67] RDMA/mlx4: Do not map the core_clock page to user space unless enabled