CONFIG_ARCH_VEXPRESS=y
CONFIG_ARM_MHU=y
CONFIG_ARM_MHU_V2=y
CONFIG_ARM_SMMU_V3=y
CONFIG_ARM64_VA_BITS_48=y
CONFIG_COMMON_CLK_SCMI=y
CONFIG_DRM_HDLCD=y
CONFIG_DRM_KOMEDA=y
CONFIG_DRM_VIRT_ENCODER=y
CONFIG_MMC_ARMMMCI=y
CONFIG_SERIO_AMBAKMI=y
CONFIG_SMC91X=y