[opensuse-arm] kernel update for 13.1 ARM images

Hi Dirk, Hi Alex, My patches are accepted in openSUSE GIT kernel repo so, we can get kernel update from Kernel:openSUSE-13.1 project to 13.1:Ports. Could you do it, please, since I have not the rights to proceed? Guillaume