Looks like we have the problem sorted. For us it was the iLO Management Channel Interface Driver (Cpqcidrv.sys) from Hewlett-Packard. Apparently it is known to cause this issue on x64...

This appears to be a bit a of a complex problem. I have read various posts about it, after experiencing the same thing with my 64 bit 2 node cluster....