[Rusky]

64bit allows and/or requires different designs to be efficient. While the difference is usually negligible in user mode, 64bit in a kernel is rather different.