@drdrang you mean the OS time or the BIOS time?