Description of problem: The system hangs when rebooting Version-Release number of selected component (if applicable): kernel-devel-3.2.10-3.fc16.x86_64 kernel-3.3.0-4.fc16.x86_64 kernel-headers-3.3.0-4.fc16.x86_64 kernel-3.2.10-3.fc16.x86_64 kernel-devel-3.3.0-4.fc16.x86_64 How reproducible: always Steps to Reproduce: 1. reboot the machine Actual results: Machine hangs Expected results: rebooting Additional info: The problem seems to be solved by adding the kernel parameter reboot=pci
this is a Dell BIOS bug. Either put up with using that workaround, or disable virtualisation in the BIOS.