This was done. smcv also did some diagnosis of the issue in https://bugs.debian.org/909150 Thanks, Jeremy Bicha