Add DefConfig and build script change to support 4.2 kernel build