Sorry peeps, false alarm. For the first 3 or 4 reboots after changing kernel dhcp worked ok, tried again last night and it failed again. Must just have been a coincidence.
-- Ethernet interface not working after reboot https://launchpad.net/bugs/42608 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs