expose what kernel is running

This adds the kernel info to the setup log which is often useful for
diagnosing kernel related issues in some race bugs.

Change-Id: Ibedb2c9e26df82ccf4375115069dae86298bdb01

functions.sh

@@ -374,6 +374,9 @@ function setup_host {
     local xtrace=$(set +o | grep xtrace)
     set -o xtrace
 
+    echo "What's our kernel?"
+    uname -a
+
     # capture # of cpus
     echo "NProc has discovered $(nproc) CPUs"
     cat /proc/cpuinfo