Add interface to interface hash, so as to allow defining the same
interface multiple times, which is necessary for example to define
different families (inet and inet6) in Debian.

Fix allow_hotplug stanza while we're at it.