smdk4412: use opensource libsecion
Change-Id: Ibed2b098e5e17ba58a383ce82c87cda71f0f7b0a