Re: [Linaro-acpi] [PATCH] arm64: Fix duplicated Kconfig entries again