[opensuse-kernel] Re: [PATCH] fix kernel-devel for armv7hl