X86: Fix an encoding issue with LOCK_ADD64mr, which could lead to very hard to find...