HP EliteBook Folio 1040 G3 Notebook PC - Maintenance and Service Guide

IMPORTANT: The system clock must be set correctly to generate a valid UUID.
●
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:
◦
On a FAT32-formatted DOK and create a directory called EFI\boot\
◦
Copy shellfull.e to it. (See http://tianocore.sourceforge.net/wiki/E-shell)
◦
Rename shellfull.e to bootx64.e.
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 elds 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