Charles, thanks for the information how to manage to install the system. Meanwhile I've found another solution for my problem, as my main requirement is a rather new 32-bit pv-domain capable of running an upstream kernel: I'm using a debian vm now. I hope the required changes for openSUSE will make it for the factory build.