@Michael: Looks all patches are install in git master. Do we have the patches in our OBS devel project?