galaxys2: switch to smdk4412 kernel

Change-Id: I9b4ee389937a6418bb9de79679324aae40a9a736