Per mitigare lo spectre bisogna ricompilare il kernel con un compilatore
patchato per retpoline.
Grazie. Pensavo che per mitigare almeno parzialmente un tipo degli attacchi bastasse un update del microcodice della cpu, ma evidentemente non e' cosi'...