Fix PRINTF_ARGS Coverity issues

Fixes:

```
test/acl_device_test.cpp:350:7:
  Type: Invalid type in argument to printf format specifier (PRINTF_ARGS)

test/acl_device_test.cpp:350:7:
  invalid_type: Argument "value" to format specifier "%8x" was expected to have type "unsigned 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_device_test.cpp:360:7:
  Type: Invalid type in argument to printf format specifier (PRINTF_ARGS)

test/acl_device_test.cpp:360:7:
  invalid_type: Argument "value" to format specifier "%8x" was expected to have type "unsigned 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.]
```

Author: IlanTruanovsky

test/acl_context_test.cpp

@@ -19,6 +19,7 @@
 #include <acl_types.h>
 #include <acl_util.h>
 
+#include <inttypes.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <string>
@@ -766,7 +767,7 @@ MT_TEST(Context, create_context_multi) {
   ACL_LOCKED(CHECK(acl_context_is_valid(context0)));
   ACL_LOCKED(CHECK(acl_is_valid_ptr(context0)));
 
-  ACL_LOCKED(acl_print_debug_msg(" newly created context0 <%lu>\n",
+  ACL_LOCKED(acl_print_debug_msg(" newly created context0 <%" PRIu32 ">\n",
                                  acl_ref_count(context0)));
 
   status = CL_INVALID_DEVICE;

test/acl_device_test.cpp

@@ -18,6 +18,8 @@
 #include <acl_types.h>
 #include <acl_util.h>
 
+#include <inttypes.h>
+
 #include "acl_hal_test.h"
 #include "acl_test.h"
 
@@ -347,7 +349,7 @@ MT_TEST(DeviceInfo, basic) {
       CHECK_EQUAL(sizeof(cl_bitfield), size_ret);
       cl_bitfield *ptr = (cl_bitfield *)&str[0];
       cl_bitfield value = *ptr;
-      ACL_LOCKED(acl_print_debug_msg("queue prop %8x\n", value));
+      ACL_LOCKED(acl_print_debug_msg("queue prop %8" PRIx64 "\n", value));
       CHECK_EQUAL(CL_QUEUE_PROFILING_ENABLE |
                       CL_QUEUE_OUT_OF_ORDER_EXEC_MODE_ENABLE,
                   value);
@@ -357,7 +359,7 @@ MT_TEST(DeviceInfo, basic) {
       CHECK_EQUAL(sizeof(cl_bitfield), size_ret);
       cl_bitfield *ptr = (cl_bitfield *)&str[0];
       cl_bitfield value = *ptr;
-      ACL_LOCKED(acl_print_debug_msg("fp config %8x\n", value));
+      ACL_LOCKED(acl_print_debug_msg("fp config %8" PRIx64 "\n", value));
       CHECK_EQUAL((CL_FP_INF_NAN | CL_FP_ROUND_TO_NEAREST), value);
     }
     // Check sanity of device avail