thanks, I'd be most grateful.
It seemed to hang during boot, but I didn't have time to play with any bios settings, and I was trying it with the live CD iso attached via the virtual CD feature in the ipmi management console. It might have worked with some adjustments or real media, but I dunno.