| Index: firmware/arch/arm/include/biosincludes.h
 | 
| diff --git a/firmware/arch/arm/include/biosincludes.h b/firmware/arch/arm/include/biosincludes.h
 | 
| index e2a1d65bffc881fc49ff9ce52b88d2756b86295b..b7feacb1169ce565dc3fc5f2ba190f729ab44631 100644
 | 
| --- a/firmware/arch/arm/include/biosincludes.h
 | 
| +++ b/firmware/arch/arm/include/biosincludes.h
 | 
| @@ -20,7 +20,7 @@ typedef unsigned int size_t;
 | 
|  #endif
 | 
|  
 | 
|  #define UINT64_C(x) ((uint64_t) x)
 | 
| -#define PRIu64 "ll"
 | 
| +#define PRIu64 "llu"
 | 
|  extern void debug(const char *format, ...);
 | 
|  
 | 
|  #define POSSIBLY_UNUSED __attribute__((unused))
 | 
| 
 |