UUID, digits swapped

I discovered that HWiNFO displays the system's UUID differently than other tools. The last group of four digits is swapped.
To illustrate, (1) is what HWiNFO shows and (2) is what other methods return:

(1) xxxxxxxx-xxxx-xxxx-AABB-xxxxxxxxxxxx

(2) xxxxxxxx-xxxx-xxxx-BBAA-xxxxxxxxxxxx

The methods that return (2) are:
- A query to the WMI class Win32_ComputerSystemProduct, UUID
- The command "dmidecode -s system-uuid" in Linux