Cara, você não está entendendo, não adianta estar como AHCI se o HD está ligado na controladora errada. Essa sua placa tem duas controladoras, uma Intel e outra Marvell. Se você precisa da kext VIA ATA para funcionar, é porque o HD está ligado na Marvell. Não tem nenhum sentido (para não dizer que é burrice) usar a controladora sem suporte nativo, com uma kext antiga, enquanto a placa tem outra controladora suportada nativamente.