| . ${ROOT_DIR}/${KERNEL_DIR}/build.config.gki.aarch64 | |
| DEFCONFIG=16k_gki_defconfig | |
| PRE_DEFCONFIG_CMDS="mkdir -p \${OUT_DIR}/arch/arm64/configs/ && cat ${ROOT_DIR}/${KERNEL_DIR}/arch/arm64/configs/gki_defconfig ${ROOT_DIR}/${KERNEL_DIR}/arch/arm64/configs/16k_gki.fragment > \${OUT_DIR}/arch/arm64/configs/${DEFCONFIG};" | |
| POST_DEFCONFIG_CMDS="" |