config: retire marvel_defconfig