The dhcp3-client bug #430064 (http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=430064) was likely the cause of the issue I described. Sorry for mistake; this bug can probably be closed here. Thanks Mau