bootstage: Change CONFIG_BOOTSTAGE_USER_COUNT to an int
authorSimon Glass <sjg@chromium.org>
Mon, 22 May 2017 11:05:24 +0000 (05:05 -0600)
committerTom Rini <trini@konsulko.com>
Mon, 5 Jun 2017 18:13:04 +0000 (14:13 -0400)
commit5a0e275cbbc4f462495e9a7e04acf0f6bfbd13c5
tree54167c15091edfcf51f6e4058218637e9c46a28a
parentc87dc38d8f860710f5f624d9dae6cefded285b8d
bootstage: Change CONFIG_BOOTSTAGE_USER_COUNT to an int

There is no good read to make this hex, and integer is more natural for
this type of setting. Update it.

Signed-off-by: Simon Glass <sjg@chromium.org>
common/Kconfig
configs/sandbox_defconfig
configs/sandbox_flattree_defconfig
configs/sandbox_noblk_defconfig
configs/sandbox_spl_defconfig