Re: [Linaro-acpi] [PATCH] RTSM model / dts: remove timer node since it is converted to ACPI