[PATCH 09/30] bk4r1: Re-convert CONFIG_AUTOBOOT_PROMPT et al to Kconfig