pack-kernel.sh: support rk3188