
This is the first step to changing the default boot option from netboot to local. The new configuration allows setting the default boot option globally. A warning is issued if no explicit value is provided for this configuration. Change-Id: I3bd4a165fa2ec1105f34bf5a2150da99136ba4a6 Partial-Bug: #1619339