add our own defconfig

Change-Id: I6af0248b0685c3d3f33b88e5185f05da51a781a4
always use short version for kernel formatting

Change-Id: I01c941c553a6dcb1d33013445576ba2d2409afd8