Right way to get the gpio values from the device tree in the device driver