Fix Coverity issues for acl_hal_test.cpp

Fixes:
```
test/acl_hal_test.cpp:394:69:
  Type: Invalid type in argument to printf format specifier (PRINTF_ARGS)

test/acl_hal_test.cpp:394:69:
  invalid_type: Argument "size" to format specifier "%d" was expected to have type "int" but has type "unsigned long".
src/acl_hal.cpp:123:3:
  path: Condition "debug_mode > 0", taking true branch.
src/acl_hal.cpp:126:5:
  printf_function: Calling "vprintf" which uses a "printf"-style format string. [Note: The source code implementation of the function has been overridden by a builtin model.]

test/acl_hal_test.cpp:666:42:
  Type: Invalid type in argument to printf format specifier (PRINTF_ARGS)

test/acl_hal_test.cpp:666:42:
  invalid_type: Argument "max_dev_addr" to format specifier "%p" was expected to have pointer type but has type "unsigned long".
src/acl_hal.cpp:123:3:
  path: Condition "debug_mode > 0", taking true branch.
src/acl_hal.cpp:126:5:
  printf_function: Calling "vprintf" which uses a "printf"-style format string. [Note: The source code implementation of the function has been overridden by a builtin model.]
```

Author: IlanTruanovsky

test/acl_hal_test.cpp

@@ -12,6 +12,7 @@
 
 #include <CL/opencl.h>
 
+#include <cinttypes>
 #include <stdarg.h>
 #include <stdio.h>
 
@@ -391,7 +392,7 @@ void acltest_hal_copy_hostmem_to_hostmem(cl_event event, const void *src,
   acltest_hal_event_callback(
       event, CL_RUNNING); // in "real life" this in response to a hw message
   size_t i;
-  acl_print_debug_msg(" Copying %d bytes from %p to %p event %p\n", size, src,
+  acl_print_debug_msg(" Copying %zu bytes from %p to %p event %p\n", size, src,
                       dest, event);
   for (i = 0; i < size; i++) {
     ((char *)dest)[i] = ((char *)src)[i];
@@ -663,7 +664,7 @@ void *acltest_translate_device_address(const void *device_ptr, size_t offset) {
   }
 
   uintptr_t max_dev_addr = 0xfffffff & ((uintptr_t)device_ptr + offset);
-  acl_print_debug_msg("maxdevaddr %p\n", max_dev_addr);
+  acl_print_debug_msg("maxdevaddr %" PRIuPTR "\n", max_dev_addr);
   if (!acltest_hal_device_mem || max_dev_addr >= acltest_hal_device_mem_size) {
     if (!acltest_hal_device_mem) {
       acltest_hal_device_mem = acl_malloc(max_dev_addr + 1);