always use short version for kernel formatting

Change-Id: Ib57844dc0ef502d773ad8948639b749886647f22