Build: Refine Kconfig system and doc

Kconfig choice supports 'optional' key word to allow
the whole choice to be toggled off to select none of the
symbols.

It is necessary to abort the kconfig tool when platform
path doesn't exist.

Add usages of Kconfig tool in the documents.

Signed-off-by: Jianliang Shen <jianliang.shen@arm.com>
Change-Id: I6c38b0bde6a5a6d099d8ea606be5e9b359216efa
6 files changed