Hans Leidekker : ntdll: Use the machine ID for the system UUID on Linux.