[PATCH 4/9] Convert CONFIG_BOOTFILE to Kconfig