Re: [PATCH 01/16] kbuild: Allow for CONFIG_SYS_CONFIG_NAME to be unset