Subject: [PATCH v2 3/9] ARM: dts: add imx7d soc dtsi file

From: [email-masked] (Nathan Lynch)
Date: Thu, 16 Apr 2015 15:15:25 -0500

On 04/16/2015 02:17 PM, Frank.Li at freescale.com wrote:
> +	timer {
> +		compatible = "arm,armv7-timer";
> +		arm,cpu-registers-not-fw-configured;

Just checking -- do you definitely need this property?  If so, the VDSO
won't be able to service gettimeofday/clock_gettime.