AHCI driver

[Samuel Thibault]

Hello,

AHCI is indeed not too complex, I've just pushed an AHCI driver to
gnumach master. I'm currently successfully building a glibc with it.
I have only tested with kvm for now. Actual bare hardware test is for
later.

Samuel