Re: [PATCH] configs: j7200_evm_a72_defconfig: Re-enable CONFIG_MUX_MMIO