Well, in case it helps somebody else...
1. I've pretty much concluded that the msahci driver and my Dell XPS 420 don't get along. Apparently, some ASUS motherboards with the X58 chipset don't like the msahci driver either.
2. The very latest iaStor driver (version 9.6.2) is, however, working...