Package: linux Version: 4.19.5-1~exp1 The following options are not currently enabled on Debian armhf ARMMP kernels, but are needed to enable some features on newer Allwinner/sunxi SoCs:
CONFIG_DRM_SUN8I_DW_HDMI CONFIG_SND_SUN8I_CODEC CONFIG_SND_SUN8I_CODEC_ANALOG CONFIG_SUN8I_DE2_CCU