Do not use prebuilt kernel

BoardConfig.mk

@@ -17,8 +17,6 @@ TARGET_BOOTLOADER_BOARD_NAME := ford
 # Bootloader
 TARGET_NO_BOOTLOADER := true
 
-TARGET_USE_BUILT_BOOTIMAGE := device/amazon/ford/boot.img
-
 # Architecture
 TARGET_ARCH := arm
 TARGET_CPU_VARIANT := cortex-a7
@@ -33,7 +31,6 @@ BOARD_MKBOOTIMG_ARGS := --ramdisk_offset 0x04000000 --tags_offset 0x00000100
 BOARD_KERNEL_CMDLINE :=
 BOARD_KERNEL_BASE := 0x80000000
 BOARD_KERNEL_PAGESIZE := 2048
-TARGET_PREBUILT_KERNEL := device/amazon/ford/kernel
 TARGET_KERNEL_SOURCE := kernel/amazon/ford
 TARGET_KERNEL_CONFIG := ford_cyanogenmod_defconfig
 TARGET_KERNEL_VARIANT_CONFIG := ford_cyanogenmod_defconfig

device.mk

@@ -1,11 +1,5 @@
 LOCAL_PATH := device/amazon/ford
 
-ifeq ($(TARGET_PREBUILT_KERNEL),)
-	LOCAL_KERNEL := $(LOCAL_PATH)/kernel
-else
-	LOCAL_KERNEL := $(TARGET_PREBUILT_KERNEL)
-endif
-
 DEVICE_FOLDER := device/amazon/ford
 
 # Get non-open-source specific aspects
@@ -83,8 +77,6 @@ PRODUCT_PACKAGES += \
 
 DEVICE_PACKAGE_OVERLAYS += device/amazon/ford/overlay
 
-PRODUCT_COPY_FILES += \
-	$(LOCAL_KERNEL):kernel
 
 PRODUCT_BUILD_PROP_OVERRIDES += BUILD_UTC_DATE=0