[Bug 917025] redundant boot option is not set by default