arm64: fix db_read_bytes() for size == 8

There is a mistake in the cast, resulting in a truncated read to tmp64.
Switch from int to uint64_t, and adjust the other casts for clarity.

Add a comment explaining why we do this at all.

Reported by: dfr
Reviewed by: dfr, mmel, emaste, jhb (all a previous version)
PR: 276406
MFC after: 3 days
Fixes: a67687fcd8f5 ("Use native-sized accesses when accessing memory from kdb")