Re: [U-Boot] [PATCH 6/9] x86: kconfig: Fix minor nits in MAX_CPUS