[PATCH 2/2] ntdll: Derive missing DMI's serial numbers from machine's GUID.