Hi Matthias, You can update your os-prober package to new version in Leap by following the steps above. Please let me know if it works or not. Thanks.