set cache/buf bits for IPC memory -- mark as Normal Memory
clean up inline asm, ldrex/strex code