Samsung DeviceTree update for v4.13, part two:
1. Add needed property for CEC on Odroid U3,
2. Fix reset GPIO polarity on Rinato.