# CONFIG_SM_VIDEOCC_8550 is not set
