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