Will there be 64bit roms for Tab S2?

So, Samsung makes the Tab S2 with a 64 bit processor, and uses a 32 bit kernel. What's involved in converting a rom, even the stock touchwiz rom, to 64 bit? Can it be done or are we hardware locked to 32bit?