Re: [PATCH 1/2] Fix usage of CONFIG_PREBOOT