Well, I did the following things, and one of them seems to have done the trick: 1) Switched memory modules to another stick of PC3200/512MB 2) Turned off PCI Bus Mastering in the motherboard BIOS 3) Added noapic and acpi=off to my grub.conf. I don't really know which one did it, but it works now.