"when I switch from SATA to AHCI in the BIOS, the computer will not boot on restart."
Don't do that unless you want to start over with a fresh OS install.
for a Dell Inspiron 1520 laptop. I can not seem to find them and what process to use installing them. I know I need them because when I switch from SATA to AHCI in the BIOS, the computer will not boot on restart. When I switch to just SATA there are no problems.
My recent reformat messed them up. Can someone direct me to a download link and the steps for installation?

Chowhound
Comic Vine
GameFAQs
GameSpot
Giant Bomb
TechRepublic