galaxys2: use opensource libsecion
smdk4412: cleanup
smdk4412: use opensource libsecion