eal/armv8: implement arch-specific TSC freq query