x86-TSO Operational on LMNtal