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