smdk4412: update proprietary files

Change-Id: Iecf48054217feae3bbf6045d2241aeeb67852922
smdk4412: use opensource libsecion

Change-Id: Ibed2b098e5e17ba58a383ce82c87cda71f0f7b0a