Correlato a:
Impossibile compilare il kernel: errore, il kernel non supporta la modalità PIC
Ho anche avuto questo problema, invece di patching;
Ho configurato le alternative con una versione gcc diversa, passata da v4 a v5, ora è in fase di compilazione.
$ update-alternatives --config gcc
There are 3 choices for the alternative gcc (providing /usr/bin/gcc).
Selection Path Priority Status
------------------------------------------------------------
0 /usr/bin/gcc-6 30 auto mode
1 /usr/bin/gcc-4.8 10 manual mode
* 2 /usr/bin/gcc-5 20 manual mode
3 /usr/bin/gcc-6 30 manual mode
Quali problemi potrebbero sorgere, esistono delle migliori pratiche per scegliere una versione di GCC per compilare il kernel?
Il sistema è Debian Stretch.