Patch to workaround a bug in Ubuntu Precise where networking restart does not work

I've made a patch to work around a bug in Ubuntu Precise where "service network restart" is broken :(. I've tested this on a Ubuntu VM with a couple of network interfaces and it seems to work allright.