Hi, I'm install linux-image-3.11-2-armmp in my Boundary Devices SABRELite board, but linux can't mount the SATA drive and there is no AHCI_IMX is not set in config. What can i do to use debian kernel works, please guide. Regards, Sh. Niew