Added in rktools for kernel flashing