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