```SKZ63 Processor May Hang When Executing Code In an HLE Transaction Region
Problem: Under certain conditions, if the processor acquires an HLE (Hardware Lock Elision) lock
via the XACQUIRE instruction in the Host Physical Address range between 40000000H
and 403FFFFFH, it may hang with an internal timeout error (MCACOD 0400H) logged
into IA32_MCi_STATUS.
Implication: Due to this erratum, the processor may hang after acquiring a lock via XACQUIRE.
Workaround: BIOS can reserve the host physical address ranges of 40000000H and 403FFFFFH (e.g.
map it as UC/MMIO). Alternatively, the VMM (Virtual Machine Monitor) can reserve that
address range so no guest can use it. In non-virtualized systems, the OS can reserve
that memory space.
```