[Linaro-acpi] [PATCH 1/2] ACPI: ARM: update DTS for RTSM VE motherboard (from ARM github)