[opensuse-kernel] Re: factory armv7l builds broken by omapdrm, patch available