[Bug 436895] Samsung R510 reboots on x86_64 - disabling ACPI components or mem=4GB helps