Re: [PATCH 10/15] configs: j721e_evm_a72_defconfig: Switch to bootstd