Fixing mask used with v2p cache for 64-bit addresses.

Also updated debug printing to show details of the v2p_cache_keys correctly.