Re: [opensuse-arm] kernel update for 13.1 ARM images