# CONFIG_SM_VIDEOCC_8250 is not set
