The configuration option documentation is autogenerated from Kconfig files. This list right now applies only for x86. Change-Id: Ibfc84324bb5e2206362d3bca6ab28aee0109f429 Signed-off-by: Anas Nashif <anas.nashif@intel.com>