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