The error described can be also seen if compiling a vanilla kernel with
the exact config as the Debian one (in my case 126.96.36.199) . I'm writing this from the same machine running 188.8.131.52 with a custom config and it works fine. Hope it helps.
To UNSUBSCRIBE, email to debian-kernel-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact firstname.lastname@example.org
Archive: email@example.com">htt p://firstname.lastname@example.org