HP EliteBook Folio 1040 G3 Maintenance And Service Manual page 80

IMPORTANT:
To set the system clock in Windows, right-click the clock on the bottom right corner of the screen
●
and select Adjust date/time.
● To set the system clock using an EFI-bootable shell:
Create a bootable EFI Shell DOK:
◦
◦
◦
Boot to EFI and select the shell.
Use the date and time commands to set the system clock. There is help at the command line for
exact syntax.
4. Start the HP Setup Utility, and then select Main > Set Machine Unique Data.
5. Select each of the DMI fields and enter the appropriate information.
● Feature Byte (if populated, overwrite with Feature Byte from Label)
Build ID
●
● Serial number
● Product family
● System board CT number
● Product name
72 Chapter 8 DMI programming procedures
The system clock must be set correctly to generate a valid UUID.
On a FAT32-formatted DOK and create a directory called EFI\boot\
Copy shellfull.efi to it. (See http://tianocore.sourceforge.net/wiki/Efi-shell)
Rename shellfull.efi to bootx64.efi.