Add device-tree bindings documentation to describe the properties for smcinvoke driver. Change-Id: I8dffd218ff4f2c860379e70c14e10fa8bcb16bfb