I can only build kernel with the following command in Android-x86 as described here.
make kernel TARGET_PRODUCT=android_x86 TARGET_KERNEL_CONFIG=android-x86_64_defconfig
But, I do not find how to just replace the kernel binary in currently installed Android-x86. Could you provide any methods or pointers?
