EP4036722B1 - System and Method of Timekeeping for a Virtual Machine Having Multiple Virtual Processing Cores