Re: [opensuse-arm] Fix ARM kernel-default and kernel-u8500