Update the handling of memory fence operations in
GKLEE