ifup-local $DEVNAME versus ifup-pre-local $CONFIGFILE