[Syscalls] add a check in CheckRAMAccess
       It is not clear that there is no gap between MemBlocks