Re: [opensuse-kernel] [PATCH] fix kernel-default build for armv7hl