Yeah, but it seems the 880G and 890GX can only be told apart from one another by the IGP. The 4250/4290 are only different in clockspeed, essentially making everything on the BIOS/software side.

So the Asrock 880G could very well be their 890GX board flashed with an 880G+4250 bios.