Anyone using AHCI and Vista64 ?

Also with PET enabled in BIOS ?

Thats 2 things i want to do with the new install of Vista64, but not sure if it needs the stupid F6 drivers - be better if it didnt.