Update marvel_defconfig