Quoting the inner commit:
> Not all RIOT platforms provide a PRIx64 or even 64-bit printing.
>
> As the debug routines that actually use this definition are unlikely to
> be used with RIOT, providing a definition that builds (and, depending on
> platform support, may or may not produce correct output) is a suitable
> fix.
