Howdy,

%lu only works on 64 bit hosts for uint64_t's.  The most portable thing 
to do is use PRIu64.  This is what is done in the rest of QEMU.

Regards,

Anthony Liguori