Print the kernel version and the processor information, to make user
support easier.