trivial: fix output warnings on 64-bit

libsel4debug/src/bootinfo.c

diff --git a/libsel4debug/src/bootinfo.c b/libsel4debug/src/bootinfo.c
index 78e853a..15e3727 100644
--- a/libsel4debug/src/bootinfo.c
+++ b/libsel4debug/src/bootinfo.c
@@ -30,7 +30,7 @@
     printf("userImagePaging: [%lu --> %lu)\n", (long)info->userImagePaging.start, (long)info->userImagePaging.end);
     printf("untypeds:        [%lu --> %lu)\n", (long)info->untyped.start, (long)info->untyped.end);
     printf("Initial thread domain: %u\n", (int)info->initThreadDomain);
-    printf("Initial thread cnode size: %u\n", info->initThreadCNodeSizeBits);
+    printf("Initial thread cnode size: %u\n", (int)info->initThreadCNodeSizeBits);
     printf("List of untypeds\n");
     printf("------------------\n");
     printf("Paddr    | Size   | Device\n");

libsel4platsupport/src/timer.c

diff --git a/libsel4platsupport/src/timer.c b/libsel4platsupport/src/timer.c
index c97d90d..ca8469a 100644
--- a/libsel4platsupport/src/timer.c
+++ b/libsel4platsupport/src/timer.c
@@ -93,7 +93,7 @@
 {
     int error = ltimer_get_nth_pmem(ltimer, n, &obj->region);
     if (!error && obj->region.length > PAGE_SIZE_4K) {
-        ZF_LOGE("Support for timers with anything but 4K pages unimplemented! length %llu",
+        ZF_LOGE("Support for timers with anything but 4K pages unimplemented! length %"PRIuPTR,
                 obj->region.length);
         return ENOSYS;
     }