kexec-tools android, updated