CONFIG_BOOTDELAY=1
# CONFIG_VIDEO is not set
# CONFIG_DISPLAY is not set
# CONFIG_EFI_LOADER is not set
# CONFIG_ENV_IS_IN_MMC is not set
# CONFIG_NET_RANDOM_ETHADDR is not set
# CONFIG_USB_KEYBOARD is not set
# CONFIG_TPL_DRIVERS_MISC is not set
CONFIG_MISC=y
CONFIG_MISC_INIT_R=y
CONFIG_ROCKCHIP_EFUSE=y
CONFIG_SHA256=y
