Bill Nottingham (notting@redhat.com) said: 
> FWIW, PCI r128 seemed to work fine, at least until the machine
> check. :(

Attached is a patch for PCI that fixes a definite oops in r128 and
presumably the same one in the radeon driver. Dunno if this was related
to the hard lockup/machine check I saw or not.

Bill