VMM: Add commandline parameter to force use of TSC