Exacto, tienes que configurarlo en AHCI.....pero ojo, influye también el controlador de la placa al que lo conectes....mi placa traía puertos sata de asmedia, y de intel, creo que en el intel se conseguía más velocidad....Y luego, activar desde la bios también el fastboot....
Ojo, la placa influye, hace unos días había un post de un compañero que decía que con su placa asrock le tardaba el arranque bastante menos que con su gigabyte.....
Vamos, yo tengo la asrock z87 extreme4, y como digo me carga bastante rápido, con el fastboot activado, luego hay un modo que es ultrarápido pero tienes que tener una gráfica con bios uefi compatible, cosa difícil, dicen que así tarda unos 4 segundos en arrancar, tiene que ser una pasada....de hecho, hay que resetear la bios para poder volver acceder, de lo rápido que carga xD o usar un programilla, para que al resetear entre en la bios.
Salu2!