boot working MB (32bit) in dos
If he got a working mobo, then there's no need to even do a hotflash and just plug in his old X4 then call it a day? If he's going to find the same mobo, may as well buy a better retail board instead of OEM board. Unless he doesn't want to pay for Windows and other applications again and just straight restore the old X4. If he wants to use the new X6, then he will need a new board anyway since the old one doesn't seem to support it.