https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79341 --- Comment #26 from Dominik Vogt <vogt at linux dot vnet.ibm.com> --- (We cannot upgrade the kernel before end of this or beginning of next week.)