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>
5 files changed