VMCI: Use 32bit atomics for queue headers on X86_32