Add kernel info, adjust formatting