Comment # 4 on bug 1073579 from Michal Suchanek

Project Configuration of openSUSE:Factory:PowerPC
���
# Need to copy 64bit kernel for 32bit builds
ExportFilter: ^kernel-obs-build.*\.ppc64\.rpm$ . ppc

Meta Configuration of Package kernel-obs-build

<package name="kernel-obs-build" project="openSUSE:Factory:PowerPC">
  <title>package kernel and initrd for OBS VM builds</title>
  <description>This package is repackaging already compiled kernels to make
them usable
inside of Open Build Service (OBS) VM builds. An initrd with some basic
kernel modules is generated as well, but further kernel modules can be 
loaded during build when installing the kernel package.

</description>
  <build>
    <disable arch="x86_64"/>
    <disable arch="ppc"/>
  </build>
  <bcntsynctag>kernel-source</bcntsynctag>
</package>


So maybe we need something similar for armv6