@yardy In order to update the kernel variant without re-installing the whole SDK, please follow these instructions:
cd <voxl-sdk-release>/system-image
# reboot voxl2 into fastboot mode
adb reboot bootloader
# flash VOXL2 kernel variant 0
fastboot flash boot_a m0054-1-var00.0-kernel.img
fastboot flash boot_b m0054-1-var00.0-kernel.img
fastboot reboot
# OR flash VOXL2 kernel variant 1
fastboot flash boot_a m0054-1-var00.1-kernel.img
fastboot flash boot_b m0054-1-var00.1-kernel.img
fastboot reboot
You can also test the kernel without overwriting it (the original kernel will be retained after voxl2 reboot:
adb reboot bootloader
fastboot boot m0054-1-var00.0-kernel.img
# OR
fastboot boot m0054-1-var00.1-kernel.img
The latter method is useful when you are not sure if the kernel you are about to try actually works (when you are experimenting with building your own kernel) - you can try the new kernel without the risk of temporarily bricking your board.
Alex