Printf uint64 fix

[eoin-cr]

Previously, although %l was a recognised printf parameter, it would call the printint function to print the value, thus casting the uint64 back to a regular int. This commit creates a function specifically for printing a uint64 variable using %l.

Thanks @clubby789 for the help.