C2RC4 gives me `Hardware UUID: DF557FA2-C304-556B-A442-960AB835CB5D' on two different machines, but in fake_efi.c there's;
static EFI_CHAR8 const SYSTEM_ID[] = {0x01,0x02,0x03,0x04,0x05,0x06,0x07,0x08,0x09,0x0A,0x0B,0x0C,0x0D,0x0E,0x0F,0x10};
How would I modify the source to give me something like `Hardware UUID: 00000000-0000-1000-8000-001234567890'?
Is there an smbios.plist override that I can use to do the same?
Thanks.