Repetier V2 firmware supports several 32 bit boards, but due to lack of time development is down to mainly bug fixing existing code.