tree db179288a494746f7eba8c97f1d7e0615059932c
parent 84fda60f6be9a1c9e072ef6a335fa6300bd6a570
author Luca Stefani <luca.stefani.ge1@gmail.com> 1479999251 +0100
committer Luca Stefani <luca.stefani.ge1@gmail.com> 1479999251 +0100

build: kernel: Remove duplicated targets

We call them already in TARGET_KERNEL_BINARIES

Change-Id: I1a9cf89d59416fdb6c9c570d17fb490440d44159