Bugzilla – Attachment 246516 Details for Bug 436895
Samsung R510 reboots on x86_64 - disabling ACPI components or mem=4GB helps