[Linaro-acpi] [RFC PATCH 2/2] ACPI: Add uart pl011 platform ID