I have an HP EliteBook 8440p on which I'm using our existing Windows XP SP2 corporate image and I need to retro-install the SATA AHCI driver. I've done this many times, on many different models and it's just a matter of knowing which driver to use. I'm familiar with turning the switch on and off in BIOS, with installing the chipset drivers first, with downloading the driver package from HP, with extracting the inf files from the driver package, with manually installing the appropriate SATA AHCI driver through device manager, but I can't seem to find any references to tell me which driver in the list I need to choose. The list is lengthy and I know if I choose the wrong driver I'll get the BSOD. The attached print screen shows what I have available. Can someone please help me with determineing which driver I need to install?