Symbol: INPUT_CLK_BOOT