HomeFreeBSD

arm32: Align arguments of sync_icache() syscall to cacheline size.