[Bug 737072] Kernel freeze on boot w/VT-d & Nvidia