x86-64: Move vread_tsc into a new file with sensible options