CONFIG_CLK_VEXPRESS_OSC=m
CONFIG_DRM_PL111=m
CONFIG_IIO_SCMI=m
CONFIG_MFD_VEXPRESS_SYSREG=m
CONFIG_MMC_ARMMMCI=m
CONFIG_MOUSE_PS2=m
CONFIG_SERIO_AMBAKMI=m
CONFIG_VEXPRESS_CONFIG=m
CONFIG_VIRTIO_MMIO=m
CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES=y