The linux kernel information should be output to the build log in addition to outputting the linux distribution information.