setup ldrex/strex kmemcheck fixup/table for cmpxchg.h