Update marvel defconfig