Du kannst auch einfach einen 32-Bit-bigmen-Kernel verwenden, der kann Speicher bis 64 GByte verwalten. Da gibt's garantiert keine Probleme beim Module kompilieren.