[PATCH 0/1] MR4773: ntdll: Derive not readable DMI's serial numbers from machine's GUID.