Info for kernels

Change-Id: Ib58b5c4b770a9438dba1db86a42e8095050ed60e