Here are some details from my dell laptop with sata=raid running tc-16.x x86_64
dmesg | grep -i raid
[ 0.204706] ahci 0000:00:1f.2: AHCI vers 0001.0300, 32 command slots, 6 Gbps, RAID mode
dmesg | grep -i ssd
...
[ 0.826471] ata2.00: Model 'SAMSUNG SSD PM851 mSATA 256GB', rev 'EXT48D0Q', applying quirks: zeroaftertrim
[ 0.826603] ata2.00: ATA-9: SAMSUNG SSD PM851 mSATA 256GB, EXT48D0Q, max UDMA/133
[ 0.828424] scsi 1:0:0:0: Direct-Access ATA SAMSUNG SSD PM85 8D0Q PQ: 0 ANSI: 5
lsmod
Module Size Used by Not tainted
ccm 16384 6
iwlmvm 319488 0
mac80211 425984 1 iwlmvm
iwlwifi 253952 1 iwlmvm
cfg80211 303104 3 iwlmvm,mac80211,iwlwifi
cpufreq_conservative 12288 0
cpufreq_powersave 12288 0
cpufreq_userspace 12288 0
squashfs 40960 121
loop 24576 242
mei_hdcp 12288 0
dell_wmi 12288 0
sparse_keymap 12288 1 dell_wmi
dell_smbios 12288 1 dell_wmi
dcdbas 12288 1 dell_smbios
wmi_bmof 12288 0
ppdev 16384 0
dell_wmi_descriptor 12288 2 dell_wmi,dell_smbios
parport_pc 32768 0
parport 32768 2 ppdev,parport_pc
video 57344 1 dell_wmi
backlight 12288 1 video
sdhci_pci 53248 0
sdhci 40960 1 sdhci_pci
intel_rst 12288 0
pcspkr 12288 0
intel_smartconnect 12288 0
mei_me 24576 1
cqhci 20480 1 sdhci_pci
mmc_core 110592 3 sdhci_pci,sdhci,cqhci
ac 12288 0
battery 16384 0
wmi 16384 5 dell_wmi,dell_smbios,wmi_bmof,dell_wmi_descriptor,video
mei 69632 3 mei_hdcp,mei_me
e1000e 167936 0
lpc_ich 24576 0
dell_rbtn 12288 0
xhci_pci 16384 0
xhci_hcd 114688 1 xhci_pci