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