fixed ahci driver to work for 64 bit
fixed ata driver to work with 64bit