config: rename option for C11 memory model