Slate AX 64-bit kernel available?

I would really like to use a 64-bit kernel on my Slate AX.

Also, the cpu governor is set to “performance” by default, which means it gets really hot. There is no reason not to set this to “ondemand” instead.

This github has a 64-bit kernel for the Slate AX which I will probably try: