Re: [Linaro-acpi] [PATCH 5/6 v2] ACPI: ARM: arndale: enable ACPI in the Samsung pinctrl driver