Add a human readable description of the tagged_addr_ctrl value to tombstones.

Change-Id: Ib9860b282cf749891e0f6ef7697669b94235c236
7 files changed