Symbol: SOCFPGA_BOOT_CLK