Re: [PATCH v1 2/3] xea: config: Use CONFIG_PREBOOT from Kconfig