Grazie!
Ho clonato il mio vecchio HDD sul nuovo SSD e poi, una volta montato e acceso il pc, ho scaricato il software Samsung Magician e da lì ho potuto constatare che sia modalità AHCI e sia il TRIM sono attivi.
I miei dubbi erano immotivati e non è stato necessario trovare né modificare alcunché nel BIOS.