Symbol: gic_clocksource_unstable