gendb: add gen_isa.xml