another gcc-10 fix for stable kernels