modify defconfig for jb42 gpu mali config