Things are/were taking so long this time to fix the build issue because the build breakage (kernel update) happened at the beginning of my yearly 3 weeks vacation. And then it took nvidia more time than usual to respond to my request to update the packages on their server. It should now be triggered and should be available in the next days. So this time about 5 weeks instead of a few days. Sigh.