modify debug output
add some debug prints
Fill in platform_data, so that the CEC GPIO-pins get properly set
Set s5p-cec platform data on hkdk4412.
Cleanup a bit