I hadn't realized before that mscan tracks "block" labels and "type"
labels separately and prefers type labels over block labels.  So, in
fact, kalloc's should always be labeled (using block labels) and
suballocations from these blocks should also be labeled (using type
labels).