x86: Increase precision of x86_platform.get/set_wallclock()