RDMA/mlx5: Use correct size for device resources