Fix arch-inst oddities, import bck's kexec scripts