Use proper form for AllocatedIpRouterIdConfig.