[opensuse-arm] Kernel 3.7.10 for 12.3 on armv7l

Hello, after the kernel-version for arm on openSUSE 12.3 is still 3.7.9, we tried to update it to the current version 3.7.10. Unfortunately we've encountered some build-failures for the kernel-u8500 pkg. Here you can find the build-log: https://build.opens...