[U-Boot] [PATCH 05/10] Use uint64_t instead of u64 in put_dec()