[opensuse-kernel] [PATCH] fixup build of kernel-default for armv7hl

Hi, The patch below is needed to fix the build of the kernel-default package for ARMv7hl. as without kernel-default not many things can be done, I'd appreciate a quick apply. TIA, Dirk