Original:

Memory: 12216k/16384k available (1962k kernel code, 4168k reserved, 303k data, 1392k init, 0k highmem)

              total         used         free       shared      buffers
  Mem:        13608         8108         5500            0            0
 Swap:            0            0            0
Total:        13608         8108         5500

-----------------------

w/ cpu_has_llsc 0:

Memory: 12352k/16384k available (1837k kernel code, 4032k reserved, 300k data, 1384k init, 0k highmem)

              total         used         free       shared      buffers
  Mem:        13736         8176         5560            0            0
 Swap:            0            0            0
Total:        13736         8176         5560

-----------------------

w/ cpu_has_llsc 1:

Memory: 12456k/16384k available (1730k kernel code, 3928k reserved, 303k data, 1384k init, 0k highmem)

              total         used         free       shared      buffers
  Mem:        13840         8028         5812            0            0
 Swap:            0            0            0
Total:        13840         8028         5812