*** This bug is a duplicate of bug 648631 ***
https://bugs.launchpad.net/bugs/648631
** This bug has been marked a duplicate of bug 648631
Kernel Oops - unable to handle kernel NULL pointer dereference; IP:
[] ips_detect_cpu+0x76/0x1d0 [intel_ips]
* You can subscribe to bug 648631 by foll
** Attachment added: "AcpiTables.txt"
https://bugs.launchpad.net/bugs/654143/+attachment/1669371/+files/AcpiTables.txt
** Attachment added: "BootDmesg.txt"
https://bugs.launchpad.net/bugs/654143/+attachment/1669372/+files/BootDmesg.txt
** Attachment added: "CurrentDmesg.txt"
https://