Matej: Does booting and adding either of the following options to grub help?: pci=routeirq acpi=off Also, do newer kernels make a difference? -- Network is not working https://launchpad.net/bugs/34708