Boris, could you ping me (clearing needinfo is enough) once something is merged to -tip re "x86: fix early boot crash on gcc-10"?