[opensuse-factory] Re: is crash build failure related to missing gcc-check-mprofile-kernel.sh from kernel-devel