Well, there was good news, then there was very bad news.
The good news was that I disabled the DSDT renaming of GFX0 to GFX1, then ran the AGDP app, which did its stuff. I then rebooted, and hotplugged the second monitor, and it worked first time! Hurrah.
The very bad news, is then I rebooted...