galaxys2-common: make branch default and switch to smdk4412 kernel

Change-Id: I74ef2bad2a57bd807b83ef1cca19196e7d1ffb4e