[PATCH 3/3] ntdll: Use the machine ID for the system UUID on Linux.