RE: Displaying processor type in kernel boot logs