Re: [Linaro-acpi] [PATCH 0/4] ACPI / ARM64: Whitelist rtc, kmi, wdt devices.