syscalls. Declare ARM32_SYNC_ICACHE call that ensures that main memory and any instruction cache are in sync.