This is from another forum. I posted it earlier for sveetsnelda, but he hasn't been around for a while. It might be useful for the person doing the HAL.dll mod
I've tried to obtain the relevant IDs. Are they found somewhere at device manager?
A intermediate way could be to use rw-everything to patch the IDs everytime at startup, so there would be no more need to patch the driver all the time when it's updated.
I don't have access to a pre-X58 /P55 board to test.
Also I don't think the driver reads the IDs from a 'hardcoded' address at the chipset itself (hope so), but somewhere at the bios.
Do you think there is another place, probably at DSDT too where it gets them?
A big problem will be: If we could manage to patch at the bios to an x58 /P55 chipset device, what will be about compatibility?
The OS will probably install another chipset driver thinking it's an X58/P55 chipset. The patch needs to be selective enough, therefore we need to find a selective place.
At the moment I think there is no better way than to patch the graphics driver itself...
What caught my interest was using RW-Everything to patch the IDs at startup. So instead of having a modified/hacked HAL.dll file, you could just turn RW-Everything on and off