pissarro: switch to kernel source

BoardConfig.mk

@@ -65,27 +65,26 @@ BOARD_KERNEL_TAGS_OFFSET := 0x07c08000
 BOARD_RAMDISK_OFFSET := 0x11088000
 BOARD_DTB_OFFSET := 0x07c08000
 
-BOARD_KERNEL_SEPARATED_DTBO := true
+#BOARD_KERNEL_SEPARATED_DTBO := true
 BOARD_BOOTIMG_HEADER_VERSION := 2
 
 BOARD_KERNEL_IMAGE_NAME := Image.gz
-TARGET_PREBUILT_KERNEL := $(DEVICE_PATH)/prebuilt/kernel
+#TARGET_PREBUILT_KERNEL := $(DEVICE_PATH)/prebuilt/kernel
 BOARD_PREBUILT_DTBOIMAGE := $(DEVICE_PATH)/prebuilt/dtbo.img
 BOARD_PREBUILT_DTBIMAGE_DIR := $(DEVICE_PATH)/prebuilt/dtb
 
-TARGET_FORCE_PREBUILT_KERNEL := true
+#TARGET_FORCE_PREBUILT_KERNEL := true
 
 TARGET_KERNEL_ARCH := arm64
-TARGET_KERNEL_HEADER_ARCH := arm64
-#TARGET_KERNEL_CLANG_COMPILE := true
+TARGET_KERNEL_CLANG_COMPILE := true
 
-#TARGET_KERNEL_CONFIG := pissarro_user_defconfig
-#TARGET_KERNEL_SOURCE := kernel/xiaomi/pissarro
+TARGET_KERNEL_CONFIG := pissarro_user_defconfig
+TARGET_KERNEL_SOURCE := kernel/xiaomi/pissarro
 
 BOARD_MKBOOTIMG_ARGS += --ramdisk_offset $(BOARD_RAMDISK_OFFSET)
 BOARD_MKBOOTIMG_ARGS += --tags_offset $(BOARD_KERNEL_TAGS_OFFSET)
 BOARD_MKBOOTIMG_ARGS += --header_version $(BOARD_BOOTIMG_HEADER_VERSION)
-BOARD_MKBOOTIMG_ARGS += --dtb_offset $(BOARD_DTB_OFFSET)
+#BOARD_MKBOOTIMG_ARGS += --dtb_offset $(BOARD_DTB_OFFSET)
 
 # DRM
 TARGET_ENABLE_MEDIADRM_64 := true