[Bug 1043231] Kernel build failed at armv7hl

http://bugzilla.suse.com/show_bug.cgi?id=1043231 http://bugzilla.suse.com/show_bug.cgi?id=1043231#c24 --- Comment #24 from Alexander Graf --- *** Bug 1043423 has been marked as a duplicate of this bug. *** -- You are receiving this mail because: You are on the CC list for the bug.