Re: [PATCH] arm64: config: add missing CONFIGs to vexpress64.conf