[PATCH 16/20] Convert CONFIG_SYS_BOOT_RAMDISK_HIGH to Kconfig