gdbserver: ignore INT when running gdb
hardware: generate versioned zip and add to fab