Change defconfig in marvel