Re: [PATCH v3 7/7] arm: vexpress64: Remove unneeded CONFIG_ check