No, Akira. We don't need this.

To build a kernel for debian, you do (NOTE: defconfig):

export LOCALVERSION="-linaro-hikey"

make distclean;

make ARCH=arm64 defconfig;

make ARCH=arm64 Image modules -j20;

make ARCH=arm64 hisilicon/hi6220-hikey.dtb

And,

hikey_defconfig is a config fragment for Android which needs to be used together with defconfig.

-Guodong

On 5 February 2016 at 16:58, Akira Tsukamoto <akira.tsukamoto@linaro.org> wrote:

From b7d40789be1c53741a9fe63a11e7555cbd301679 Mon Sep 17 00:00:00 2001
From: Akira Tsukamoto <akira.tsukamoto@linaro.org>
Date: Fri, 5 Feb 2016 17:57:25 +0900
Subject: [PATCH] ARM64: hikey_defconfig: fix build error for modules

Signed-off-by: Akira Tsukamoto <akira.tsukamoto@linaro.org>
---
arch/arm64/configs/hikey_defconfig | 2 ++
1 file changed, 2 insertions(+)

diff --git a/arch/arm64/configs/hikey_defconfig b/arch/arm64/configs/hikey_defconfig
index 1b1f5d0..60e85bf 100644
--- a/arch/arm64/configs/hikey_defconfig
+++ b/arch/arm64/configs/hikey_defconfig
@@ -37,6 +37,8 @@ CONFIG_KALLSYMS_ALL=y
# CONFIG_COMPAT_BRK is not set
CONFIG_PROFILING=y
CONFIG_JUMP_LABEL=y
+CONFIG_MODULES=y
+CONFIG_MODULE_UNLOAD=y
# CONFIG_BLK_DEV_BSG is not set
CONFIG_PARTITION_ADVANCED=y
# CONFIG_IOSCHED_DEADLINE is not set
--
1.9.1