AHCI controller example