fixup "hw: provide identification of a processor object"

ref #1076
fixup "hw & arm_v6: clean up TLB driver"

ref #1076