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