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