The following Linux kernel configurations are provided for SATA driver:
• CONFIG_SATA_AHCI_PLATFORM: Configure options for SATA driver. In the
menuconfig this option is available under "Device Drivers --->Serial ATA (prod) and
Parallel ATA (experimental) drivers -> Platform AHCI SATA support".