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

PS2:
- cleanup

Change-Id: Iee14e90fa6fb6a13a123d92b7cf6dceaf6d18ffc

Conflicts:
	res/values/disco_strings.xml
 Autor:    MURA Stefano <ssspinni@gmail.com>