Symbol: CLK_SOURCE_CLK72MHZ