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