Re: [PATCH] configs: am64x_evm_*_defconfig: Enable High Secure device support