galaxys2: use opensource libsecion
smdk4412: use opensource libsecion