[opensuse-arm] Re: Re :Re : [opensuse-arm] Raspberry Pi: might we go to kernel 3.6.x?