Ops, my bad - it’s gnrc_ipv6_router_default, not gnrc_router_default
gnrc_ipv6_router_default
gnrc_router_default