# CONFIG_RTW88_8723DE is not set
