Re: [PATCH 1/2] Convert CONFIG_RAMBOOT_PBL et al to Kconfig