Add an option/category in Dev Set to customize the device hostname (1/2).

Change-Id: Iddeca1ea525f7c0ed84d6495babcdd73ec1db995