Symbol: RPI_FIRMWARE_DISP_CLK_ID