ip6addrctl not set

[Thomas Klausner]

I got a boot warning about $ip6addrctl not being set.

I see that ip6addrctl_enable=NO is set in the defaults file, but this
name looks strange. I guess it should be "ip6addrctl=NO" instead?
 Thomas