More warning and compile fixes.

src/cpu/808x/queue.c

@@ -15,6 +15,7 @@
  *          Copyright 2023 gloriouscow.
  *          Copyright 2023 Miran Grca.
  */
+#include <inttypes.h>
 #include <math.h>
 #include <stdarg.h>
 #include <stdint.h>
@@ -76,7 +77,11 @@ void
 queue_set_size(size_t size)
 {
     if (size > QUEUE_MAX)
+#if (defined __amd64__ || defined _M_X64 || defined __aarch64__ || defined _M_ARM64)
+        fatal("Requested prefetch queue of %" PRIi64 " bytes is too big\n", size);
+#else
         fatal("Requested prefetch queue of %i bytes is too big\n", size);
+#endif
 
     queue.size = size;
 }