kconfig: Add an option to specify the target OS.

This will default to Linux for now since almost all the configurations expect
Linux, aka ChromeOS, and the two are sort of compatible as far as zimages are
concerned. In the future this default may be removed and the configs may have
to specify explicitly. There might be a case for some sort of automatic
detection, but those sorts of heuristics introduce the chance for mistakes and
bad behavior.

Change-Id: I639762047269bde234da341f06c6b30e17c16a00
1 file changed