Re: [Linaro-acpi] [PATCH 2/6 v2] ACPI: ARM: arndale: whitelist the samsung-pinctrl driver for ACPI