So, to summarise: we have a 3.5.0 kernel that fails on 64-bits, but its Ok for 32-bits. I took a look at the kernel logs, and something that caught my attention was the following errors/warnings:
[ 0.000000] ACPI Warning: 32/64 FACS address mismatch in FADT - two FACS tables! (20120320/tbfadt-378) [ 0.000000] ACPI Warning: 32/64X FACS address mismatch in FADT - 0xB5F1CE40/0x00000000B5F1CD40, using 32 (20120320/tbfadt-502) I'm not familiar with ACPI, but from the code it looks like there are some issues with your BIOS. This may not be related with your problem, but its worth checking whether there are any updates to your laptop's BIOS. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1030845 Title: 11ab:4363 Not work: 01:00.0 Ethernet controller: Marvell Technology Group Ltd. 88E8055 PCI-E Gigabit Ethernet Controller (rev 13) To manage notifications about this bug go to: https://bugs.launchpad.net/linux/+bug/1030845/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
