Re: [Linaro-acpi] [PATCH 3/8 v3] ACPI: ARM: arndale: enable ACPI in the Samsung pinctrl driver