I can demonstrate quite straightforwardly that this is not a kernel bug. All that it takes to make the system boot cleanly is to change 'iface eth0 inet dhcp' to 'iface eth0 inet manual' in /etc/network/interfaces.
I'm looking into a better solution.
I can demonstrate quite straightforwardly that this is not a kernel bug. All that it takes to make the system boot cleanly is to change 'iface eth0 inet dhcp' to 'iface eth0 inet manual' in /etc/network/ interfaces.
I'm looking into a better solution.