smdk4412: use opensource libsecion
galaxys2: use opensource libsecion