which driver should I add?
There is only SATA support via devb-eide which should already be there. I think there is also devb-mvSata ( or something like that) but it`s only for a very limited number of chipset.
6.4.1 had devb-ahci.
Often you can change a BIOS setting to make SATA disks work in eide compatible/eide mode in which case devb-eide works auto-magically with them.