Just confirmed that Hakchi2 can dump/write the SNES Mini's kernel as-is
by u/SpongeFreak52 in miniSNESmods