Running the DvbWorld box on this HP... working fine now and all timers firing. (P4 3ghz)
I run a mix, and I will put up $100 that it's not CPU-brand specific.
It may be motherboard CHIP specific, which may look like it's CPU-specific.
But, I doubt even that.
What I've done in the past is download and install the latest DVBWorld software from their website and then use DVBDream.
You can get drivers etc here (great - they've made more changes!):
http://www.worlddvb.com/html/dvb software.htm
The DVB World software is available here:
http://www.worlddvb.com/html/softdown.htm
The WDM drivers is something new... I'll have to play with the box some more.