Coorect Marvel_defconfig