[Bug 714554] New: inconsistent allocation of IPv6 addresses