Hi toleda,
I tried both ways, with a vanilla AGPM.kext. I first enabled HD3K on the bios, edited my DSDT renaming GFX0 to IGPU, PEGP to GFX0, added the DSM methods under IGPU and HDEF address, so on and so on... HD3k worked wonderfully with a vanilla AGPM and GE=No, unfortunately i got no use...