x86-64: Remove unnecessary barrier in vread_tsc