Refer to new HAL DeviceTime rather than VirtualTime.