Update TARGET_KERNEL_BINARIES