BUG in AMD64 or faulty design of Compaq Presario R4000 ??