Documentation: binding: Modify the exynos5440 PCIe binding