Displaying processor type in kernel boot logs