Sarebbe utile che venissere, per tutti i sistemi, distribuite due
varianti, una "sicura" e una "performante".
[...]
Così quando uno avvia la macchina avrà due scelte in grub,
una "sicura" e una "performante", accontentando tutti.
Se non dovessero esporre un flag di configurazione (cosa che penso verra' efffettivamente fatta...), la correzione a mano dei sorgenti, per quanto fastidiosa, e' per ora davvero banale e fattibile a casa da qualsiasi utente che abbia mai ricompilato un kernel.
Luca