[Linaro-mm-sig] [PATCH v4 6/7] arm64: add support for reserved memory defined by device tree