The Hurd does not have working ipv6 support yet, and when it does it will be fine to have it use the Linux numbers for socket options in the user API (it will probably be using the Linux ipv6 code anyway).