Using int for the Kconfig variable to resolve warnings from Kconfig. Change-Id: If2574753fd5761b59f37a8bccea8c5f6699cb363 Signed-off-by: Anas Nashif <anas.nashif@intel.com>